Remove unneeded global

https://gerrit.wikimedia.org/r/#change,1571

diff --git a/languages/Language.php b/languages/Language.php
index 71cf5ea..47adfbe 100644 (file)
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -658,7 +658,6 @@ class Language {
                        return $allNames;
                }
 
-               global $IP;
                $names = array();
                // We do this using a foreach over the codes instead of a directory
                // loop so that messages files in extensions will work correctly.