MediaWiki:Gadgets-definition
Jump to navigation
Jump to search
- ReferenceTooltips[ResourceLoader|default|type=general|dependencies=mediawiki.cookie,jquery.client]|ReferenceTooltips.js|ReferenceTooltips.css
- exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js