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