Index of /extensions/Maps/resources

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      GoogleMaps/             2025-03-16 15:11    -   
      MapSaver.js             2025-03-16 15:11  1.1K  
      WikitextEditor/         2025-03-16 15:11    -   
      api.js                  2025-03-16 15:11  1.1K  
      geoJsonPage.js          2025-03-16 15:11  2.0K  
      geojson.new.page.js     2025-03-16 15:11  931   
      leaflet/                2025-03-16 15:11    -   
      lib/                    2025-03-16 15:11    -   
      semanticMaps.js         2025-03-16 15:11  2.1K