From: Platonides <platonides@users.mediawiki.org>
Date: Thu, 15 Dec 2011 20:43:58 +0000 (+0000)
Subject: Remove unneeded global
X-Git-Tag: 1.31.0-rc.0~25949
X-Git-Url: http://git.cyclocoop.org/%22.%24image2.%22?a=commitdiff_plain;h=351729ac15318de55afb5d39fc37afd8bb30a515;p=lhc%2Fweb%2Fwiklou.git

Remove unneeded global

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

diff --git a/languages/Language.php b/languages/Language.php
index 71cf5eab82..47adfbe79c 100644
--- 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.