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