From 2a178974849f52dd5bee4d8ffe6721bb99e34078 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 25 Jul 2010 17:48:48 +0000
Subject: [PATCH] $wgLang is already marked as global at the top.

---
 includes/Preferences.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/includes/Preferences.php b/includes/Preferences.php
index bd7511a9b3..60ba20f191 100644
--- a/includes/Preferences.php
+++ b/includes/Preferences.php
@@ -471,8 +471,6 @@ class Preferences {
 
 		$selectedSkin = $user->getOption( 'skin' );
 		if ( in_array( $selectedSkin, array( 'cologneblue', 'standard' ) ) ) {
-			global $wgLang;
-
 			$settings = array_flip( $wgLang->getQuickbarSettings() );
 
 			$defaultPreferences['quickbar'] = array(
-- 
2.20.1