User "Aaron Schulz" posted a comment on MediaWiki.r84233. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/84233#c20425 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: Why would that effect the $defaultOverride parameter? _______________________________________________ MediaWiki-CodeReview mailing list mediawiki-coderev...@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
