dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
291dbaf
)
Preferences: Use case-insensitive comparison for skin names
author
Bartosz Dziewoński
<matma.rex@gmail.com>
Mon, 27 Apr 2015 21:44:05 +0000
(23:44 +0200)
committer
Ori.livneh
<ori@wikimedia.org>
Thu, 30 Apr 2015 16:01:29 +0000
(16:01 +0000)
They are treated case-insensitively everywhere else.
Change-Id: I2561150aca9d88ad67ef359143f06d0ee90ab52e
includes/Preferences.php
patch
|
blob
|
history
diff --git
a/includes/Preferences.php
b/includes/Preferences.php
index
74a917d
..
9b0ada8
100644
(file)
--- 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;
}