Fixed listing of Skin names in Special:Preferences
authorJens Frank <jeluf@users.mediawiki.org>
Sat, 27 Mar 2004 18:44:30 +0000 (18:44 +0000)
committerJens Frank <jeluf@users.mediawiki.org>
Sat, 27 Mar 2004 18:44:30 +0000 (18:44 +0000)
includes/SpecialPreferences.php

index 391c23b..7901e72 100644 (file)
@@ -310,7 +310,7 @@ value=\"$i\"$checked> {$qbs[$i]}</label><br>\n" );
                        $checked = ""; 
                }
                $wgOut->addHTML( "<label><input type=radio name=\"wpSkin\"
-value=\"$i\"$checked> {$skins[$i]}</label><br>\n" );
+value=\"$i\"$checked> {$wgValidSkinNames[$i]}</label><br>\n" );
        }
 
        # Various checkbox options