MediaWiki:Gadgets-definition
default
- wikificator[ResourceLoader|hidden|type=general|dependencies=ext.gadget.registerTool]|wikificator.js|wikificator.css
- wfTypos[ResourceLoader]|wfTypos.js
- wfIsbnLite[ResourceLoader]|wfIsbnLite.js
- summaryButtons[ResourceLoader|hidden|type=general|dependencies=mediawiki.ui.button,mediawiki.util]|summaryButtons.js|summaryButtons.css