Kill $wgAllowUserSkin

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c06586d..565a7b2 100644 (file)
--- 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 4a11dae..58b9002 100644 (file)
--- 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';