mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-15 02:04:02 +00:00
417a1c9751
Change-Id: Ifa8755c2d33e762797e19b95775526042088ca0d
9 lines
176 B
JSON
9 lines
176 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Beta16"
|
|
]
|
|
},
|
|
"codemirror-desc": "Modifiche con sintassi evidenziata per pagine wiki utilizzando [http://codemirror.net/ CodeMirror]"
|
|
}
|