Я знаю, как реализовать CodeMirror на обычной странице, но я не знаю, как это сделать на веб-странице MediaWiki. Я попытался добавить файл «codemirror. js» таким же образом, как я добавил другие скрипты, которые я использую на странице, но я получаю сообщение об ошибке, что «CodeMirror» не определяется при инициализации. В приведенном ниже коде показано, как я добавил свои предыдущие сценарии и «codemirror. js».
$wgResourceModules['ext.SpecialRobotExp'] = array('scripts' => array(
'module/PID.js', 'module/grid.js', 'module/saveFile.js', 'module/codemirror.js'
),
Мне нужно знать, где сохранить файл codemirror. js и как его загрузить. на страницу на странице MediaWiki.