MediaWiki:Gadgets-definition

editing-gadgets

 * HotCat[ResourceLoader]|HotCat.js