MediaWiki:Gadgets-definition

user-interface

 * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js
 * exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
 * purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js
 * HighlightRedirects|HighlightRedirects.css