MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
 * ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
 * StaffHighlighter[ResourceLoader|default|hidden]|StaffHighlighter.js|StaffHighlighter.css