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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      mediawiki.js            2025-03-12 00:05   33K  
      tests/                  2025-03-12 00:05    -