Last modified: 2014-09-02 05:58:09 UTC
Currently, MediaWiki gadgets enable to extends the user interface. There is no mean to let each user configure some gadget options. It would be possible to make gadget user configuration by loading a user script file (for example, User:xxxx/gadget-config.js) before the first gadget script.
I get your point. Variables set in User:Xxxx/vector.js are loaded after the gadget so they don't affect. A way around this, for now, would be put the gadget in an addOnloadHook. This way the gadget is postponed, thus loading after the user-script.
(In reply to comment #1) > I get your point. > > Variables set in User:Xxxx/vector.js are loaded after the gadget so they don't > affect. > A way around this, for now, would be put the gadget in an addOnloadHook. > > This way the gadget is postponed, thus loading after the user-script. It's worth noting that Twinkle does this very effectively; per-user options are stored in the user's /twinkleoptions.js, and configured via a script preference panel accessible via Wikipedia:Twinkle/Preferences.
Just for the benefit of people searching for bugs on this topic: See [[mw:User:Salvatore_Ingala/Notes]] for some work Salvatore has been doing on this. According to https://www.mediawiki.org/w/index.php?title=Roadmap&oldid=577532#Support_2 , the dev team is aware of this work and plans to look at it at some point.