mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 10:19:27 +00:00
bf91cd036e
Change-Id: I6ba64c8cc933c013c20651c97d7ef58ec970e091
9 lines
185 B
JSON
9 lines
185 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Gomoko"
|
|
]
|
|
},
|
|
"codemirror-desc": "Édition avec coloration syntaxique pour les pages de wiki en utilisant [http://codemirror.net/ CodeMirror]"
|
|
}
|