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|dependencies=mediawiki.util]|PortletLinks.js
 * StaffPortletLinks[ResourceLoader|default|dependencies=mediawiki.util|rights=replacetext]|StaffPortletLinks.js
 * EditToolbarButtons[ResourceLoader|default]|EditToolbarButtons.js
 * PresetScrollbarPosition[ResourceLoader|default]|PresetScrollbarPosition.js
 * ReplaceTextAutoBotter[ResourceLoader|dependencies=mediawiki.api|rights=replacetext,userrights]|ReplaceTextAutoBotter.js
 * mobile-sidebar[ResourceLoader]|mobile-sidebar.js
 * LowercaseFileExtension[ResourceLoader|default|targets=desktop,mobile|hidden]|LowercaseFileExtension.js|LowercaseFileExtensionHideGadget.css