From 351729ac15318de55afb5d39fc37afd8bb30a515 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Thu, 15 Dec 2011 20:43:58 +0000
Subject: [PATCH] Remove unneeded global

https://gerrit.wikimedia.org/r/#change,1571
---
 languages/Language.php | 1 -
 1 file changed, 1 deletion(-)

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.
-- 
2.20.1