dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: def8f59) | patch
When reading an old-style user_options blob, use the default value for any preference...
authorRoan Kattouw <catrope@users.mediawiki.org>
Mon, 11 Oct 2010 14:10:23 +0000 (14:10 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Mon, 11 Oct 2010 14:10:23 +0000 (14:10 +0000)
commit7dcc7872aad0ac9e0d9494e0942dbd64c4f08e11
tree38fa2ac2ce51b861551c0ba72d679c9e3669de0ftree | snapshot
parentdef8f59b6c0d10c1ce050c868184d05732f0b0b6commit | diff
When reading an old-style user_options blob, use the default value for any preferences not set in the blob. This'll hopefully fix bug 25416 ($options['editfont'] not set even though editfont is a legit pref)
includes/User.php diff | blob | history
Wiklou, le Wiki du Wiklou