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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      mediawiki.js            2024-12-19 19:38   33K  
      tests/                  2024-12-19 19:38    -