MediaWiki:Gadgets-definition

Revision as of 11:49, 22 August 2014 by Tiziano (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

editing-gadgets

  • DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
  • HotCat[ResourceLoader|default]|HotCat.js
Last modified on 22 August 2014, at 11:49