minor issue, really.

diff --git a/maintenance/diffLanguage.php b/maintenance/diffLanguage.php
index a988599..0b028a7 100644 (file)
--- a/maintenance/diffLanguage.php
+++ b/maintenance/diffLanguage.php
@@ -75,7 +75,7 @@ function ucfirstlcrest($string) {
 function getMediawikiMessages($languageCode = 'En') {
 
        $foo = "wgAllMessages$languageCode";
-       global $$foo;
+       global $$foo, $wgSkinNamesEn;
 
        // it might already be loaded in LocalSettings.php
        if(!isset($$foo)) {