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.
Version: unspecified
Severity: normal