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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]mediawiki.js2025-11-03 13:02 33K 
[DIR]tests/2025-11-03 13:02 -  
Apache/2.4.62 (Debian) Server at 10.23.45.62 Port 8080