https://bugzilla.wikimedia.org/show_bug.cgi?id=36316
--- Comment #17 from Ryan Kaldari <[email protected]> --- Actually, it looks like changing the default setting in $wgDefaultUserOptions changes it for everyone regardless of whether they have explicitly set the option differently in the past. How have we dealt with this situation in the past? Do we back-up everyone's userOptions, switch the defaults and then restore everyone's userOptions from the back-up? -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
