MediaWiki:Gadgets-definition
- registerTool[ResourceLoader|hidden|dependencies=mediawiki.util,user.options]|registerTool.js
editing
- wikificator[ResourceLoader|default|hidden|type=general|actions=edit|dependencies=ext.gadget.registerTool,jquery.client]|wikificator.js|wikificator.css