MediaWiki:Gadgets-definition

Aus TUEpedia
Version vom 24. September 2018, 15:05 Uhr von Abilus (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

editing-gadgets

  • DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
  • HotCat[ResourceLoader]|HotCat.js