https://bugzilla.wikimedia.org/show_bug.cgi?id=36316
--- Comment #24 from Jarry1250 <[email protected]> --- (In reply to comment #23) > (In reply to comment #17) > > 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. > > This doesn't make any sense. If this is accurate, there must be a dependent > bug > to fix this, as the behavior as described wouldn't be logical. If a user > explicitly disables a user preference, why would $wgDefaultUserOptions > override > that? It would have to be a massive regression, I've been cc'ed on a few of these and it's always been a case of doing what MZM says in his second paragraph. -- 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
