From dd74ff399ad7616640252a03519c1f6c79f1d8b9 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sat, 22 May 2004 04:53:02 +0000
Subject: [PATCH] Fixed 1.2 compatibility in "skin" user option

---
 includes/User.php | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/includes/User.php b/includes/User.php
index 111bebff1a..41526571c7 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -468,10 +468,14 @@ class User {
 
 			if ( !isset( $skinNames[$s] ) ) {
 				$fallback = array(
-					'standard' => "Standard",
-					'nostalgia' => "Nostalgia",
-					'cologneblue' => "Cologne Blue");
-				if(is_int($s) && isset( $fallback[$s]) ){
+					0 => "SkinStandard",
+					1 => "SkinNostalgia",
+					2 => "SkinCologneBlue");
+				if ( isset( $skinNames['monobook'] ) ) {
+					$fallback[0] = "SkinMonoBook";
+				}
+				
+				if(is_numeric($s) && isset( $fallback[$s]) ){
 					$sn = $fallback[$s];
 				} else {
 					$sn = "SkinStandard";
-- 
2.20.1