mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 02:04:02 +00:00
7374adfd01
Change-Id: I57a3660c6365ece10589e55fa20fffd180346e18
10 lines
185 B
JSON
10 lines
185 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Metalhead64"
|
|
]
|
|
},
|
|
"codemirror-desc": "Ermöglicht Syntax-Hervorhebungen im Wikitext-Editor",
|
|
"codemirror-toggle-label": "Syntaxhervorhebung"
|
|
}
|