MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * HotCat[ResourceLoader|targets=desktop,mobile]|HotCat.js
 * Edittop[ResourceLoader]|edittop.js