Preferences: Use case-insensitive comparison for skin names
authorBartosz Dziewoński <matma.rex@gmail.com>
Mon, 27 Apr 2015 21:44:05 +0000 (23:44 +0200)
committerOri.livneh <ori@wikimedia.org>
Thu, 30 Apr 2015 16:01:29 +0000 (16:01 +0000)
commit709e43aaf9447ccbc2c19fd596d8f722964bdae4
tree0b8f5d010c4faf037f29ed637fd8d945ace2611d
parent291dbafe75a7c74de59d6d30f57ba276a8a5c641
Preferences: Use case-insensitive comparison for skin names

They are treated case-insensitively everywhere else.

Change-Id: I2561150aca9d88ad67ef359143f06d0ee90ab52e
includes/Preferences.php