From 66f31cc203f42609a85372dce3e2b569971bd48b Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Fri, 6 May 2011 23:18:11 +0000 Subject: [PATCH] Kill $wgAllowUserSkin --- includes/DefaultSettings.php | 6 ------ includes/Setup.php | 4 ---- 2 files changed, 10 deletions(-) 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'; -- 2.20.1