https://bugzilla.wikimedia.org/show_bug.cgi?id=40124
Web browser: ---
Bug #: 40124
Summary: Request for determination: Adding user preferences via
API
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: User preferences
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
A lot more functionality around user preferences was added with
https://gerrit.wikimedia.org/r/#/c/5126/ (
I0d6c654a7354ba77e65e338423952a6a78c1150f )
Thank you for that.
Recently I found that one can add new options (''keys''). This is very useful
for Community scripts. So I hope this was intentional behaviour and this bug is
about clarifying that.
What in particular, I'd like to know is:
* Will it be supported in future?
* Which max. size (i.e. how many bytes) can the pref have?
* How many prefs can be added?
* Is it possible to remove one particular pref without having to reset all?
Again, it would be really useful if I could get started using this feature.
Currently I have to publicly store user prefs for my scripts using (
https://commons.wikimedia.org/wiki/MediaWiki:Gadget-SettingsManager.js ) in
their common or <skin>.js. Having a private place to store them would be great,
especially because one can retrieve them with both, the API and they are by
default in mw.user.options – JavaScript RL module.
--
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
