https://bugzilla.wikimedia.org/show_bug.cgi?id=36316
--- Comment #16 from Ryan Kaldari <[email protected]> --- What we would probably need to do is explicitly set it to off for all existing users that don't have the preference set (possibly with userOptions.php). Then simply set the default to on. As far as I know, there isn't any way to have different default user options for different user groups (to exclude bots), but maybe someone else knows otherwise. Having it set to on for new bots wouldn't be the end of the world though. -- 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
