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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      mediawiki.js            2025-10-02 14:11   33K  
      tests/                  2025-10-02 14:11    -