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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
