MediaWiki:Gadgets-definition
editing-gadgets
- HotCat[ResourceLoader]|HotCat.js
- DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
- CitacePRO[ResourceLoader|default]|CitacePRO.js|CitacePRO.css
- ZkontrolovanoUcitelem[ResourceLoader]|ZkontrolovanoUcitelem.js