https://bugzilla.wikimedia.org/show_bug.cgi?id=69942
Brad Jorsch <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] Component|API |User preferences --- Comment #3 from Brad Jorsch <[email protected]> --- Not an API bug, the API simply calls $user->setOption(). I'm not entirely sure where the bug here lies: * $wgDefaultUserOptions['multimediaviewer-enable'] being assigned a non-string value. * User::getDefaultOptions() not correcting that. * The comparison in $user->saveOptions() that tries to avoid saving default options screwing up with non-string defaults. -- 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 [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
