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