From 5418cdb0e1508c89e30349d0d8a9d5192b150690 Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Sun, 28 Mar 2004 21:01:21 +0000 Subject: [PATCH] uses Skin names from Language.php again --- includes/SpecialPreferences.php | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/includes/SpecialPreferences.php b/includes/SpecialPreferences.php index ed49d7df62..26d202a197 100644 --- a/includes/SpecialPreferences.php +++ b/includes/SpecialPreferences.php @@ -236,7 +236,7 @@ function wfSpecialPreferences() $wgOut->addWikiText( wfMsg( "prefslogintext", $uname, $uid ) ); $qbs = $wgLang->getQuickbarSettings(); - $skins = $wgLang->getSkinNames(); + $skinNames = $wgLang->getSkinNames(); $mathopts = $wgLang->getMathNames(); $dateopts = $wgLang->getDateFormats(); $togs = $wgLang->getUserToggles(); @@ -300,17 +300,16 @@ value=\"$i\"$checked> {$qbs[$i]}
\n" ); # Skin setting # $wgOut->addHTML( "$sk:
\n" ); - # Only count up to count($wgValidSkinNames) rather than - # count($skins), to allow global disabling of experimental - # skins. - foreach ($wgValidSkinNames as $i => $skinname ) { - if ( $i == $wpSkin ) { - $checked = ' checked="checked"'; + # Only show members of $wgValidSkinNames rather than + # $skinNames (skins is all skin names from Language.php) + foreach ($wgValidSkinNames as $skinkey => $skinname ) { + if ( $skinkey == $wpSkin ) { + $checked = ' checked'; } else { $checked = ""; } $wgOut->addHTML( "
\n" ); +value=\"$skinkey\"$checked> {$skinNames[$skinkey]}
\n" ); } # Various checkbox options -- 2.20.1