MediaWiki:Gadgets-definition

editing-gadgets

  • HotCat[ResourceLoader]|HotCat.js
  • DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
  • CitacePRO[ResourceLoader|default]|CitacePRO.js|CitacePRO.css