Forwarding from <https://bugzilla.wikimedia.org/show_bug.cgi?id=40124#c0>:
---
A lot more functionality around user preferences was added with
https://gerrit.wikimedia.org/r/#/c/5126/
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.
---
Any help in answering these questions on this list and/or on the bug would
be great.
MZMcBride