MediaWiki:Gadgets-definition

• FormattingFixer[ResourceLoader|default]|FormattingFixer.js
• ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css