User: Normalize skin key from $wgDefaultSkin for default options
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 23 Jul 2014 19:57:40 +0000 (21:57 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Wed, 23 Jul 2014 19:57:40 +0000 (21:57 +0200)
commit6cf0e518801b271dd7091e616132b6280cb69c9f
treeb0ee7a3c87f2a687a5d41ef5d54027b75e10cfa9
parent9ba664342e58f4f420bed100251e9e3ff45d1449
User: Normalize skin key from $wgDefaultSkin for default options

$wgDefaultSkin is allowed not to actually be a valid key (although
doing that is obviously very unwise), which in turn can cause
exceptions from Preferences::loadPreferenceValues()
(MWException "Global default…"), which in turn causes failure of
SpecialPreferencesTest::testBug41337() test.

Change-Id: I8f8ae9ba301337b2e6facd3dcfadbf2ab12ac605
includes/User.php