diff options
Diffstat (limited to 'www/wiki/extensions/Maps/extension.json')
-rw-r--r-- | www/wiki/extensions/Maps/extension.json | 220 |
1 files changed, 126 insertions, 94 deletions
diff --git a/www/wiki/extensions/Maps/extension.json b/www/wiki/extensions/Maps/extension.json index f0bcddc8..6ddee628 100644 --- a/www/wiki/extensions/Maps/extension.json +++ b/www/wiki/extensions/Maps/extension.json @@ -1,6 +1,6 @@ { "name": "Maps", - "version": "7.4.0", + "version": "7.13.0", "author": [ "[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]", @@ -54,62 +54,31 @@ }, "ResourceModules": { - "ext.maps.common": { + "ext.sm.common": { "scripts": [ - "maps.common.js" - ], - "messages": [ - "maps-load-failed" + "semanticMaps.js" ] }, - "ext.maps.services": { + "ext.maps.geojson.new.page": { "dependencies": [ - "ext.maps.common" + "mediawiki.api.edit" ], "scripts": [ - "maps.services.js" - ] - }, - - "ext.sm.common": { - "dependencies": [ - "ext.maps.common", - "ext.maps.services" + "geojson.new.page.js" ], - "scripts": [ - "sm.common.js" + "messages": [ + "maps-geo-json-create-page-creating", + "maps-geo-json-create-page-summary" ] }, - "mapeditor": { + "ext.maps.geojson.page": { "dependencies": [ - "ext.maps.common", - "jquery.ui.autocomplete", - "jquery.ui.slider", - "jquery.ui.dialog" + "ext.maps.leaflet.editor" ], "scripts": [ - "editor/js/jquery.miniColors.js", - "editor/js/mapeditor.iefixes.js", - "editor/js/mapeditor.js" - ], - "styles": [ - "editor/css/jquery.miniColors.css", - "editor/css/mapeditor.css" - ], - "messages": [ - "mapeditor-parser-error", - "mapeditor-none-text", - "mapeditor-done-button", - "mapeditor-remove-button", - "mapeditor-import-button", - "mapeditor-export-button", - "mapeditor-import-button2", - "mapeditor-select-button", - "mapeditor-mapparam-button", - "mapeditor-clear-button", - "mapeditor-imageoverlay-button" + "geoJsonPage.js" ] }, @@ -119,97 +88,129 @@ ] }, - "ext.maps.leaflet.base": { + "ext.maps.leaflet.library": { "scripts": [ - "leaflet/leaflet/leaflet.js" + "lib/leaflet/leaflet.js", + "lib/leaflet-providers/leaflet-providers.js" + ], "styles": [ - "leaflet/leaflet/leaflet.css" + "lib/leaflet/leaflet.css" + ] + }, + + "ext.maps.leaflet.geojson": { + "scripts": [ + "leaflet/GeoJson.js" ] }, - "ext.maps.leaflet": { + "ext.maps.leaflet.loader": { "dependencies": [ - "ext.maps.common", - "ext.maps.services", - "ext.maps.leaflet.base" + "ext.maps.leaflet.library", + "ext.maps.leaflet.geojson", + "ext.sm.common" ], "scripts": [ + "leaflet/FeatureBuilder.js", "leaflet/jquery.leaflet.js", - "leaflet/ext.maps.leaflet.js" + "leaflet/LeafletLoader.js" ], "messages": [ - "maps-markers", - "maps-copycoords-prompt", - "maps-searchmarkers-text" + "maps-copycoords-prompt" ] }, "ext.maps.leaflet.fullscreen": { "dependencies": [ - "ext.maps.leaflet.base" + "ext.maps.leaflet.library" ], "scripts": [ - "leaflet/leaflet.fullscreen/Control.FullScreen.js" + "lib/leaflet.fullscreen/Control.FullScreen.js" ], "styles": [ - "leaflet/leaflet.fullscreen/Control.FullScreen.css" + "lib/leaflet.fullscreen/Control.FullScreen.css" ] }, "ext.maps.leaflet.markercluster": { "dependencies": [ - "ext.maps.leaflet.base" + "ext.maps.leaflet.library" ], "scripts": [ - "leaflet/leaflet.markercluster/leaflet.markercluster.js" + "lib/leaflet.markercluster/leaflet.markercluster.js", + "leaflet/LeafletCluster.js" ], "styles": [ - "leaflet/leaflet.markercluster/MarkerCluster.css" + "lib/leaflet.markercluster/MarkerCluster.css" ] }, - "ext.maps.leaflet.providers": { + "ext.maps.leaflet.editor": { "dependencies": [ - "ext.maps.leaflet.base" + "ext.maps.leaflet.geojson", + "ext.maps.leaflet.library", + "mediawiki.api.edit", + "mediawiki.jqueryMsg", + "ext.maps.leaflet.fullscreen" ], "scripts": [ - "leaflet/leaflet-providers/leaflet-providers.js" - ] - }, - - "ext.maps.leaflet.editable": { - "dependencies": [ - "ext.maps.leaflet.base" + "lib/leaflet.StyleEditor/javascript/Leaflet.StyleEditor.min.js", + "lib/leaflet.draw/leaflet.draw-src.js", + "lib/leaflet.EasyButton/easy-button.js", + "api.js", + "MapSaver.js", + "leaflet/LeafletEditor.js" ], - "scripts": [ - "leaflet/leaflet.editable/Leaflet.Editable.js" - ] - }, - - "ext.maps.leaflet.editor": { - "dependencies": [ - "ext.maps.leaflet" + "styles": [ + "lib/leaflet.StyleEditor/css/Leaflet.StyleEditor.min.css", + "lib/leaflet.draw/leaflet.draw.css", + "lib/leaflet.EasyButton/easy-button.css" ], - "scripts": [ - "leaflet/leaflet.editor.js" - ] - }, + "messages": [ + "maps-json-editor-button-marker", + "maps-json-editor-button-line", + "maps-json-editor-button-polygon", + "maps-json-editor-button-rectangle", + "maps-json-editor-button-circle", - "ext.maps.leaflet.leafletajax": { - "dependencies": [ - "ext.maps.leaflet", - "ext.sm.common" - ], - "scripts": [ - "leaflet/ext.sm.leafletajax.js" + "maps-json-editor-tooltip-marker", + "maps-json-editor-tooltip-line", + "maps-json-editor-tooltip-polygon", + "maps-json-editor-tooltip-rectangle", + "maps-json-editor-tooltip-circle", + + "maps-json-editor-added-marker", + "maps-json-editor-added-line", + "maps-json-editor-added-polygon", + "maps-json-editor-added-rectangle", + "maps-json-editor-added-circle", + + "maps-json-editor-edit-removed-shapes", + "maps-json-editor-edit-modified", + "maps-json-editor-edit-other", + "maps-json-editor-edit-failed", + + "maps-json-editor-toolbar-save-title", + "maps-json-editor-toolbar-save-text", + "maps-json-editor-toolbar-cancel-title", + "maps-json-editor-toolbar-cancel-text", + "maps-json-editor-toolbar-clear-title", + "maps-json-editor-toolbar-clear-text", + + "maps-json-editor-toolbar-button-save", + "maps-json-editor-changes-saved", + + "maps-json-editor-toolbar-button-edit", + "maps-json-editor-toolbar-button-edit-disabled", + "maps-json-editor-toolbar-button-remove", + "maps-json-editor-toolbar-button-remove-disabled", + + "maps-editor-edit-geojson" ] }, "ext.maps.googlemaps3": { - "dependencies": [ - "ext.maps.common" - ], "scripts": [ "GoogleMaps/jquery.googlemap.js", "GoogleMaps/ext.maps.googlemaps3.js" @@ -219,7 +220,8 @@ "maps-copycoords-prompt", "maps-searchmarkers-text", "maps-fullscreen-button", - "maps-fullscreen-button-tooltip" + "maps-fullscreen-button-tooltip", + "maps-kml-parsing-failed" ] }, @@ -264,13 +266,43 @@ ] }, - "ext.sm.googlemaps3ajax": { + "ext.maps.googlemaps3ajax": { "dependencies": [ "ext.maps.googlemaps3", "ext.sm.common" ], "scripts": [ - "GoogleMaps/ext.sm.googlemaps3ajax.js" + "GoogleMaps/googlemaps3ajax.js" + ] + }, + + "ext.maps.wikitext.editor": { + "dependencies": [ + "jquery.ui.autocomplete", + "jquery.ui.slider", + "jquery.ui.dialog" + ], + "scripts": [ + "WikitextEditor/js/jquery.miniColors.js", + "WikitextEditor/js/mapeditor.iefixes.js", + "WikitextEditor/js/mapeditor.js" + ], + "styles": [ + "WikitextEditor/css/jquery.miniColors.css", + "WikitextEditor/css/mapeditor.css" + ], + "messages": [ + "mapeditor-parser-error", + "mapeditor-none-text", + "mapeditor-done-button", + "mapeditor-remove-button", + "mapeditor-import-button", + "mapeditor-export-button", + "mapeditor-import-button2", + "mapeditor-select-button", + "mapeditor-mapparam-button", + "mapeditor-clear-button", + "mapeditor-imageoverlay-button" ] } }, |