https://bugzilla.wikimedia.org/show_bug.cgi?id=37187
Web browser: ---
Bug #: 37187
Summary: Don't remove custom user options when using
Special:Preferences
Product: MediaWiki
Version: 1.20-git
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: User preferences
AssignedTo: wikibugs-l@lists.wikimedia.org
ReportedBy: listenle...@gmail.com
CC: agarr...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
With [[mw:API:Options]] it is now possible for gadgets/user scripts/etc. to set
their own custom options. But there is one drawback: Whenever the user changes
his settings on Special:Preferences, those custom options are removed.
Steps to reproduce:
1. Visit [[Special:APISandbox]], get a token to change your options and then
use action=options with change "gadget-foo-options-bar=baz".
2. Verify that the custom option is set by inspecting mw.user.options.
3. Visit [[Special:Preferences]] and click save.
4. Repeat step 2.
Desired result: The custom option is still present.
Actual result: The custom option doesn't exist any more.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- 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
