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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      README                  2025-07-26 12:21  121   
      jquery.miniColors.js    2025-07-26 12:21   15K  
      mapeditor.iefixes.js    2025-07-26 12:21  639   
      mapeditor.js            2025-07-26 12:21   25K