dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8654eb) | patch
Preferences: Disable the 'skin' preference if there are no skins
authorBartosz Dziewoński <matma.rex@gmail.com>
Sun, 27 Jul 2014 20:27:29 +0000 (22:27 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Sat, 2 Aug 2014 12:07:11 +0000 (12:07 +0000)
commit8a6428a3f57ca9506b8366341a90d21bb7bf4716
tree828a433b49fd293d1b5ab1e2feea4976e3cc192atree | snapshot
parentb8654eb75acce6084683ed2fdaca40a5c7bb71a1commit | diff
Preferences: Disable the 'skin' preference if there are no skins

Having a radio field with no valid values makes MediaWiki sad and
causes exceptions.

Also make double-sure that the global default value is not invalid.
That causes exceptions too.

Change-Id: I90cc9e6f40303aa5771c265948a0be4a4ce2e42c
includes/Preferences.php diff | blob | history
Wiklou, le Wiki du Wiklou