MediaWiki:Gadgets-definition

general

 * Carousel[ResourceLoader|default|type=general|dependencies=mediawiki.util]|Carousel.js|Carousel.css
 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * Hover[ResourceLoader]|Hover.css