MediaWiki:Gadgets-definition From Istaria Lexica HotCat[ResourceLoader|default]|HotCat.js DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js