Forgot to update one part, and also got rid of some historial stuff (hiding
authorCharles Melbye <charlie@users.mediawiki.org>
Sun, 16 Nov 2008 21:09:32 +0000 (21:09 +0000)
committerCharles Melbye <charlie@users.mediawiki.org>
Sun, 16 Nov 2008 21:09:32 +0000 (21:09 +0000)
preview links if they can't choose a skin).

includes/specials/SpecialPreferences.php

index fb9e703..14e9158 100644 (file)
@@ -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" );