Translations:Extension:SyntaxHighlight/11/de

In älteren Versionen (vor MediaWiki 1.16) benutzte die Erweiterung den Tag $source.