* As a gadget developer, I want a standard way to customize gadgets (not copying local implementations from one wiki to another).
* As a gadget user, I want a nice UI to customize the gadgets I use, without having to learn how to edit a JS/CSS subpage.
The "gadgetprefs" (from [[https://www.mediawiki.org/wiki/User:Salvatore_Ingala/GSoC_2011_application|GSoC 2011]]) branch seems to implement that, but is rotting since 2011:
https://phabricator.wikimedia.org/diffusion/EGAD/history/gadgetprefs/
**See also**
* [[https://gerrit.wikimedia.org/r/#/c/4385/|Gerrit Change 4385]] - Abandoned
* {T42124}
* [[https://pl.wikipedia.org/wiki/MediaWiki:Gadget-gConfig.js|pl:MediaWiki:Gadget-gConfig.js]], maintained by @matmarex
* [[https://en.wikipedia.org/wiki/User:PerfektesChaos/js/preferencesGadgetOptions|en:User:PerfektesChaos/js/preferencesGadgetOptions]], maintained by @PerfektesChaos