MediaWiki:Gadgets-definition

Aus TUEpedia
Version vom 24. September 2018, 15:02 Uhr von Abilus (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „== editing-gadgets == * DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js“)
(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