[Bug 43519] Userprefs for edit options should be set by radiobuttons not checkboxes

2013-01-06 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=43519 Siebrand s.mazel...@xs4all.nl changed: What|Removed |Added Keywords|easy| CC|

[Bug 43519] Userprefs for edit options should be set by radiobuttons not checkboxes

2012-12-30 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=43519 Steve s.vansl...@spamcop.net changed: What|Removed |Added Keywords||easy Web

[Bug 43519] Userprefs for edit options should be set by radiobuttons not checkboxes

2012-12-30 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=43519 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Low