MediaWiki:Gadgets-definition

editing-gadgets
HotCat[ResourceLoader]|HotCat.js