From 709e43aaf9447ccbc2c19fd596d8f722964bdae4 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= <matma.rex@gmail.com>
Date: Mon, 27 Apr 2015 23:44:05 +0200
Subject: [PATCH] Preferences: Use case-insensitive comparison for skin names

They are treated case-insensitively everywhere else.

Change-Id: I2561150aca9d88ad67ef359143f06d0ee90ab52e
---
 includes/Preferences.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Preferences.php b/includes/Preferences.php
index 74a917dbab..9b0ada812a 100644
--- a/includes/Preferences.php
+++ b/includes/Preferences.php
@@ -1098,7 +1098,7 @@ class Preferences {
 			$linkTools = array();
 
 			# Mark the default skin
-			if ( $skinkey == $defaultSkin ) {
+			if ( strcasecmp( $skinkey, $defaultSkin ) === 0 ) {
 				$linkTools[] = $context->msg( 'default' )->escaped();
 				$foundDefault = true;
 			}
-- 
2.20.1