MediaWiki:Gadget-DotsSyntaxHighlighter: Unterschied zwischen den Versionen
Aus SchnuppTrupp
(Die Seite wurde neu angelegt: „Syntax highlighter: Make syntax stand out colourfully in the edit box.“) |
(kein Unterschied)
|
Aktuelle Version vom 12. Mai 2020, 22:59 Uhr
Syntax highlighter: Make syntax stand out colourfully in the edit box.
