Index of /w/extensions/CodeMirror/resources/mode/mediawiki

 NameLast modifiedSizeDescription
 Parent Directory   -  
 img/ 2018-12-03 10:25 -  
 mediawiki.css 2018-12-03 10:25 6.5K 
 mediawiki.js 2018-12-03 10:25 33K 
 tests/ 2018-12-03 10:25 -