User "Happy-melon" posted a comment on MediaWiki.r84233. Full URL: https://secure.wikimedia.org/wikipedia/mediawiki/wiki/Special:Code/MediaWiki/84233#c20411 Commit summary:
(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. Comment: The only nice way to do that is to repurpose the second parameter and refactor $ignoreHidden too, and I really can't see a clean way to do that... <tt>:S</tt> _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
