(bug 27403) saved user preferences which are subsequently disabled with $wgHiddenPref...
authorHappy-melon <happy-melon@users.mediawiki.org>
Fri, 18 Mar 2011 13:03:26 +0000 (13:03 +0000)
committerHappy-melon <happy-melon@users.mediawiki.org>
Fri, 18 Mar 2011 13:03:26 +0000 (13:03 +0000)
commite6e9b7fc9c8391cffca9c7c006bd3336a48a03cf
tree1b1b7075ac833452ce095fe3542019de0217570a
parentda6d61f8b0137d3ae46d12c69d8b53c98a3c1420
(bug 27403) saved user preferences which are subsequently disabled with $wgHiddenPrefs are not used in output, but are retained in the database in case the preference is subsequently re-enabled.
includes/Preferences.php
includes/User.php