From 4e71925361876b5ac837c743ca7754481cdc31bb Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Mon, 17 Nov 2008 19:57:00 +0000
Subject: [PATCH] Part of r43581 bits, reverting.

---
 includes/specials/SpecialPreferences.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php
index 66cccc81aa..9f5329fca6 100644
--- a/includes/specials/SpecialPreferences.php
+++ b/includes/specials/SpecialPreferences.php
@@ -838,7 +838,7 @@ class PreferencesForm {
 		# Skin
 		#
 		global $wgAllowUserSkin;
-		if( $wgAllowUserSkin || $wgUser->isAllowed( 'alwaysuseskin' ) ) {
+		if( $wgAllowUserSkin ) {
 			$wgOut->addHTML( "<fieldset>\n<legend>\n" . wfMsg('skin') . "</legend>\n" );
 			$mptitle = Title::newMainPage();
 			$previewtext = wfMsg('skin-preview');
@@ -856,7 +856,7 @@ class PreferencesForm {
 			foreach ($validSkinNames as $skinkey => $sn ) {
 				$checked = $skinkey == $this->mSkin ? ' checked="checked"' : '';
 				$mplink = htmlspecialchars($mptitle->getLocalURL("useskin=$skinkey"));
-				$previewlink = "(<a target='_blank' href=\"$mplink\">$previewtext</a>)";
+				$previewlink = $wgAllowUserSkin ? "(<a target='_blank' href=\"$mplink\">$previewtext</a>)" : '';
 				if( $skinkey == $wgDefaultSkin )
 					$sn .= ' (' . wfMsg( 'default' ) . ')';
 				$wgOut->addHTML( "<input type='radio' name='wpSkin' id=\"wpSkin$skinkey\" value=\"$skinkey\"$checked /> <label for=\"wpSkin$skinkey\">{$sn}</label> $previewlink<br />\n" );
-- 
2.20.1