From 460a0a2ac0a39bd41184b339f5dcee4b0dfe1470 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Thu, 25 Nov 2004 22:46:41 +0000
Subject: [PATCH] Mark the default skin in the preferences list. People get
 lost, and 'MonoBook' or whatever is not exactly obvious.

---
 includes/SpecialPreferences.php | 4 ++++
 languages/Language.php          | 1 +
 2 files changed, 5 insertions(+)

diff --git a/includes/SpecialPreferences.php b/includes/SpecialPreferences.php
index dd4905cea9..25233d105c 100644
--- 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 5df0d68328..57d6b2bdba 100644
--- 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
 #
-- 
2.20.1