User "Aaron Schulz" changed the status of MediaWiki.r84233. Old Status: fixme New Status: ok
User "Aaron Schulz" also posted a comment on MediaWiki.r84233. Full URL: https://secure.wikimedia.org/wikipedia/mediawiki/wiki/Special:Code/MediaWiki/84233#c20456 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: Not really IMO, it's an improvement at least over the current state. Marking this "OK" since it's not urgent and we want 1.18 out the door. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
