MediaWiki:Gadgets-definition


 * AdminHighlight|AdminHighlight.css
 * AntiBigText|AntiBigText.css
 * UserTools[rights=wikifeaturesview|default]|UserTools.js
 * AdminTools[rights=commentdelete|default]|AdminTools.js