mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
3d40b7fe1c
Change-Id: I6e174341786f3113333d70c4d5c4cc312ffff8b7
10 lines
192 B
JSON
10 lines
192 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Robby"
|
|
]
|
|
},
|
|
"codemirror-desc": "Erméiglecht et am Wikitext-Editeur d'Syntax ervirzehiewen",
|
|
"codemirror-toggle-label": "Ervirhiewe vun der Syntax"
|
|
}
|