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