MediaWiki:Gadgets-definition

visuals

 * AdminHighlight|AdminHighlight.css
 * AntiBigText|AntiBigText.css

utilities

 * UserTools[ResourceLoader|rights=createpage|default]|UserTools.js
 * AdminTools[ResourceLoader|rights=commentdelete|default]|AdminTools.js