mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 15:40:00 +00:00
74d7847358
Change-Id: If4ec7835d8ee076f665c0e112d1e6d257dfb281f
9 lines
82 B
JSON
9 lines
82 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Zolgoyo"
|
|
]
|
|
},
|
|
"codemirror-find": "Tap"
|
|
}
|