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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      mediawiki.js            2024-10-14 20:55   33K  
      tests/                  2024-10-14 20:55    -