mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
7374adfd01
Change-Id: I57a3660c6365ece10589e55fa20fffd180346e18
11 lines
219 B
JSON
11 lines
219 B
JSON
{
|
||
"@metadata": {
|
||
"authors": [
|
||
"Gomoko",
|
||
"Wladek92"
|
||
]
|
||
},
|
||
"codemirror-desc": "Fournit une mise en évidence de la syntaxe dans l’éditeur wikitexte",
|
||
"codemirror-toggle-label": "Colorisation syntaxique"
|
||
}
|