https://bugzilla.wikimedia.org/show_bug.cgi?id=69942
Brad Jorsch <bjor...@wikimedia.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |agarr...@wikimedia.org
Component|API |User preferences
--- Comment #3 from Brad Jorsch <bjor...@wikimedia.org> ---
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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
