From 49a355d1f4ec8baadaf07b921ca90e911e7ec1dc Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Fri, 1 Aug 2008 16:22:51 +0000 Subject: [PATCH] Remove global that exists nowhere but here. --- maintenance/language/diffLanguage.php | 1 - 1 file changed, 1 deletion(-) diff --git a/maintenance/language/diffLanguage.php b/maintenance/language/diffLanguage.php index 389b01d5c9..9d395b3c96 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"); } -- 2.20.1