MediaWiki:Gadget-DotsSyntaxHighlighter.js: Unterschied zwischen den Versionen
Aus SchnuppTrupp
(Die Seite wurde neu angelegt: „mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');“) |
(kein Unterschied)
|
Version vom 12. Mai 2020, 22:58 Uhr
mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');
