From 5ee4af10cadcec8545e52d66958079d528c5ef5f Mon Sep 17 00:00:00 2001
From: MatteoPistorello <pistorellomatteo8@gmail.com>
Date: Fri, 16 Jun 2023 16:07:38 +0200
Subject: [PATCH] fix minore

---
 modules/interventi/edit.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/interventi/edit.php b/modules/interventi/edit.php
index 889120c6a..f25208f8d 100755
--- a/modules/interventi/edit.php
+++ b/modules/interventi/edit.php
@@ -254,7 +254,7 @@ echo '
                     shadowSize: [41, 41]
                 });
 
-                L.tileLayer("https://{s}.tile.openstreetmap.de/{z}/{x}/{y}.png", {
+                L.tileLayer("'.setting("Tile server OpenStreetMap").'", {
                     maxZoom: 17,
                     attribution: "© OpenStreetMap"
                 }).addTo(map);