Remove global that exists nowhere but here.

diff --git a/maintenance/language/diffLanguage.php b/maintenance/language/diffLanguage.php
index 389b01d..9d395b3 100644 (file)
--- 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");
        }