Index of /extensions/Maps/resources/WikitextEditor/js

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      README                  2025-03-16 15:11  121   
      jquery.miniColors.js    2025-03-16 15:11   15K  
      mapeditor.iefixes.js    2025-03-16 15:11  639   
      mapeditor.js            2025-03-16 15:11   25K