MediaWiki:Gadgets-definition

Editing

 * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js
 * Cat-a-lot[ResourceLoader|dependencies=mediawiki.util]|Cat-a-lot.js