MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
 * ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
 * StaffHighlighter[ResourceLoader|default]|StaffHighlighter.js|StaffHighlighter.css
 * PortletLinks[ResourceLoader|default]|PortletLinks.js
 * EditToolbarButtons[ResourceLoader|default]|EditToolbarButtons.js
 * PresetScrollbarPosition[ResourceLoader|default]|PresetScrollbarPosition.js
 * ReplaceTextAutoBotter[ResourceLoader|rights=replacetext]|ReplaceTextAutoBotter.js
 * LowercaseFileExtension[ResourceLoader|default|targets=desktop,mobile|hidden]|LowercaseFileExtension.js|LowercaseFileExtensionHideGadget.css