MediaWiki:Kartographer.js: Unterschied zwischen den Versionen

Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 22: Zeile 22:
             "options": {
             "options": {
                 "wvIsExternal": true,
                 "wvIsExternal": true,
                 "wvIsExternal": true,
                 "wvIsOverlay": true,
                 "wvName": "Open Sea Map",
                 "wvName": "Open Sea Map",
                 "attribs": [
                 "attribs": [