From 197b620294327079e9a399188c715b259aca63dc Mon Sep 17 00:00:00 2001 From: conradschulz Date: Thu, 6 May 2021 19:25:00 +0200 Subject: [PATCH] Small changes to settings.php --- example.LocalSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/example.LocalSettings.php b/example.LocalSettings.php index de2cdda..e415775 100644 --- a/example.LocalSettings.php +++ b/example.LocalSettings.php @@ -316,7 +316,7 @@ $egMapsDefaultGeoService = 'nominatim'; wfLoadExtension( 'Kartographer' ); # Global OpenStreetmap tile Server #$wgKartographerMapServer = 'https://tile.openstreetmap.org'; -$wgKartographerMapServer = 'https://a.tile.openstreetmap.de'; +$wgKartographerMapServer = 'https://a.tile.openstreetmap.de/'; # Adding Musical notation with score Notation