diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-02-22 13:37:51 +0100 |
| commit | b9b85843572bf283f48285001e276ba7e61b63f6 (patch) | |
| tree | 4c6f4571552ada9ccfb4030481dcf77308f8b254 /maintenance/language/diffLanguage.php | |
| parent | d9a20acc4e789cca747ad360d87ee3f3e7aa58c1 (diff) | |
updated to MediaWiki 1.14.0
Diffstat (limited to 'maintenance/language/diffLanguage.php')
| -rw-r--r-- | maintenance/language/diffLanguage.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/maintenance/language/diffLanguage.php b/maintenance/language/diffLanguage.php index 389b01d5..9d395b3c 100644 --- a/maintenance/language/diffLanguage.php +++ b/maintenance/language/diffLanguage.php @@ -84,7 +84,6 @@ function getMediawikiMessages($languageCode = 'En') { $langFile = $IP.'/languages/classes/Language'.$languageCode.'.php'; if (file_exists( $langFile ) ) { print "Including $langFile\n"; - global $wgNamespaceNamesEn; // potentially unused global declaration? include($langFile); } else wfDie("ERROR: The file $langFile does not exist !\n"); } |