Reverting r71010

Does this file even work/is it still used?

diff --git a/maintenance/language/diffLanguage.php b/maintenance/language/diffLanguage.php
index 6ce8a7b..4ead2ce 100644 (file)
--- a/maintenance/language/diffLanguage.php
+++ b/maintenance/language/diffLanguage.php
@@ -75,6 +75,7 @@ function getMediawikiMessages( $languageCode = 'En' ) {
 
        $foo = "wgAllMessages$languageCode";
        global $$foo;
+       global $wgSkinNamesEn; // potentially unused global declaration?
 
        // it might already be loaded in LocalSettings.php
        if ( !isset( $$foo ) ) {
@@ -83,9 +84,7 @@ function getMediawikiMessages( $languageCode = 'En' ) {
                if ( file_exists( $langFile ) ) {
                        print "Including $langFile\n";
                        include( $langFile );
-               } else {
-                       wfDie( "ERROR: The file $langFile does not exist !\n" );
-               }
+               } else wfDie( "ERROR: The file $langFile does not exist !\n" );
        }
        return $$foo;
 }