Mark the default skin in the preferences list. People get lost, and 'MonoBook' or...

diff --git a/includes/SpecialPreferences.php b/includes/SpecialPreferences.php
index dd4905c..25233d1 100644 (file)
--- a/includes/SpecialPreferences.php
+++ b/includes/SpecialPreferences.php
@@ -487,6 +487,10 @@ class PreferencesForm {
                        } else {
                                $sn = $skinname;
                        }
+                       global $wgDefaultSkin;
+                       if( $skinkey == $wgDefaultSkin ) {
+                               $sn .= ' (' . wfMsg( 'default' ) . ')';
+                       }
                        $wgOut->addHTML( "<div><label><input type='radio' name=\"wpSkin\"
        value=\"$skinkey\"$checked /> {$sn}</label></div>\n" );
                }

diff --git a/languages/Language.php b/languages/Language.php
index 5df0d68..57d6b2b 100644 (file)
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -813,6 +813,7 @@ from server time (UTC).',
 'guesstimezone' => 'Fill in from browser',
 'emailflag'            => 'Disable e-mail from other users',
 'defaultns'            => 'Search in these namespaces by default:',
+'default'              => 'default',
 
 # User levels special page
 #