From: Sam Reed <reedy@users.mediawiki.org>
Date: Fri, 6 May 2011 23:18:11 +0000 (+0000)
Subject: Kill $wgAllowUserSkin
X-Git-Tag: 1.31.0-rc.0~30357
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/operations/recherche.php?a=commitdiff_plain;h=66f31cc203f42609a85372dce3e2b569971bd48b;p=lhc%2Fweb%2Fwiklou.git

Kill $wgAllowUserSkin
---

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c06586d8de..565a7b2f52 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2260,12 +2260,6 @@ $wgValidateAllHtml = false;
  */
 $wgDefaultSkin = 'vector';
 
-/**
-* Should we allow the user's to select their own skin that will override the default?
-* @deprecated in 1.16, use $wgHiddenPrefs[] = 'skin' to disable it
-*/
-$wgAllowUserSkin = true;
-
 /**
  * Specify the name of a skin that should not be presented in the list of
  * available skins.  Use for blacklisting a skin which you do not want to
diff --git a/includes/Setup.php b/includes/Setup.php
index 4a11daecc5..58b9002551 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -261,10 +261,6 @@ if ( !$wgAllowRealName ) {
 	$wgHiddenPrefs[] = 'realname';
 }
 
-if ( !$wgAllowUserSkin ) {
-	$wgHiddenPrefs[] = 'skin';
-}
-
 # Doesn't make sense to have if disabled.
 if ( !$wgEnotifMinorEdits ) {
 	$wgHiddenPrefs[] = 'enotifminoredits';