2018-04-02 08:29:19 +02:00
|
|
|
[
|
2019-11-09 18:48:43 +01:00
|
|
|
"codemirror.js",
|
2020-02-20 11:29:27 +01:00
|
|
|
"codemirror.css",
|
|
|
|
|
"mode/css/css.js",
|
2020-03-13 18:34:24 +01:00
|
|
|
"mode/htmlembedded/htmlembedded.js",
|
|
|
|
|
"mode/htmlmixed/htmlmixed.js",
|
2020-02-20 11:29:27 +01:00
|
|
|
"mode/javascript/javascript.js",
|
2020-03-13 18:34:24 +01:00
|
|
|
"mode/php/php.js",
|
2020-02-20 11:29:27 +01:00
|
|
|
"mode/xml/xml.js",
|
2018-04-02 08:29:19 +02:00
|
|
|
"init.js",
|
|
|
|
|
"init.css"
|
|
|
|
|
]
|
