Hi all, I would like to ask for deployment of new version of Gadgets extension. It would be great to get rid of MediaWiki:Common.js by splitting it into separate gadgets, enabled for everyone by default. Any registered user will be able to disable functionality he/she does not like. What is more, it will simplify loading additional dependencies - now it is done by importScript etc. and allow to take advantage of Resource Loader.
Regards, Ildefons Stułbia _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l