[Bug 69942] Updating user preferences via API gives inconsistent results

2014-08-24 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=69942 Andre Klapper changed: What|Removed |Added Priority|Unprioritized |Normal Version|unspecified

[Bug 69942] Updating user preferences via API gives inconsistent results

2014-08-23 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=69942 Brad Jorsch changed: What|Removed |Added CC||agarr...@wikimedia.org Componen

[Bug 69942] Updating user preferences via API gives inconsistent results

2014-08-23 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=69942 --- Comment #2 from Tisza Gergő --- (In reply to Bartosz Dziewoński from comment #1) > Doesn't setting the preference to '0' / '1' via API always work as expected? Depends on your definition of "work as expected". When $wgDefaultUserOptions['m

[Bug 69942] Updating user preferences via API gives inconsistent results

2014-08-23 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=69942 Bartosz Dziewoński changed: What|Removed |Added CC||matma@gmail.com Depen