https://bugzilla.wikimedia.org/show_bug.cgi?id=36316

--- Comment #23 from MZMcBride <[email protected]> ---
(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?

The introductory paragraph of [[mw:Manual:$wgDefaultUserOptions]] seems to
suggest that the path forward you described in comment 16 is accurate. You'd
run a maintenance script on all Wikimedia wikis to set the option to explicitly
false (as default user options are not stored) and then you'd switch the
default behavior in CommonSettings.php, which would change the default behavior
for any new account.

-- 
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

Reply via email to