From 8df706c465ac634001089c4ee98e44bf70f01b68 Mon Sep 17 00:00:00 2001
From: Charles Melbye <charlie@users.mediawiki.org>
Date: Sun, 16 Nov 2008 21:09:32 +0000
Subject: [PATCH] Forgot to update one part, and also got rid of some historial
 stuff (hiding preview links if they can't choose a skin).

---
 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 fb9e703526..14e91585f7 100644
--- a/includes/specials/SpecialPreferences.php
+++ b/includes/specials/SpecialPreferences.php
@@ -838,7 +838,7 @@ class PreferencesForm {
 		# Skin
 		#
 		global $wgAllowUserSkin;
-		if( $wgAllowUserSkin ) {
+		if( $wgAllowUserSkin || $wgUser->isAllowed( 'alwaysuseskin' ) ) {
 			$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 = $wgAllowUserSkin ? "(<a target='_blank' href=\"$mplink\">$previewtext</a>)" : '';
+				$previewlink = "(<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