https://bugzilla.wikimedia.org/show_bug.cgi?id=37187
--- Comment #3 from duplicate...@googlemail.com 2012-06-08 09:27:47 UTC --- (In reply to comment #2) > (In reply to comment #1) > > The Preferences reset first all to avoid storing all preferences in the > > database. Custom preferences are unknown to mediawiki and therefor removed. > > > > Maybe custom preferences should by forbidden. > Can we just remove known preferences? Sorry, I mean old preferences, see the comment in Preferences.php: "Keeps old preferences from interfering due to back-compat code, etc." Custom preferences should be forbidden or there are allow with a fixed prefix, than it is possible to find that preferences and not removing it. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
