Use https compatible names for GPS tile servers

diff --git a/vendor/assets/leaflet/leaflet.osm.js b/vendor/assets/leaflet/leaflet.osm.js
index 1abc517684027acf174fdbf8b6cf2f581e0e6631..2a0592af0d951142ce526008366569ec5236b682 100644 (file)
--- a/vendor/assets/leaflet/leaflet.osm.js
+++ b/vendor/assets/leaflet/leaflet.osm.js
@@ -67,8 +67,8 @@ L.OSM.HOT = L.OSM.TileLayer.extend({
 L.OSM.GPS = L.OSM.TileLayer.extend({
   options: {
     url: document.location.protocol === 'https:' ?
 L.OSM.GPS = L.OSM.TileLayer.extend({
   options: {
     url: document.location.protocol === 'https:' ?

-      'https://{s}.gps-tile.openstreetmap.org/lines/{z}/{x}/{y}.png' :
-      'http://{s}.gps-tile.openstreetmap.org/lines/{z}/{x}/{y}.png',
+      'https://gps-{s}.tile.openstreetmap.org/lines/{z}/{x}/{y}.png' :
+      'http://gps-{s}.tile.openstreetmap.org/lines/{z}/{x}/{y}.png',

     maxZoom: 20,
     subdomains: 'abc'
   }
     maxZoom: 20,
     subdomains: 'abc'
   }