From 338cac4731b181b367cbed290964ffe18acc345b Mon Sep 17 00:00:00 2001
From: Tobias Speicher <rootcommander@gmail.com>
Date: Wed, 28 Jan 2026 10:18:41 +0100
Subject: [PATCH] Use preferred tile.openstreetmap.org URL

See https://github.com/openstreetmap/operations/issues/737
---
 LocalSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LocalSettings.php b/LocalSettings.php
index c144306..658911b 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -70,7 +70,7 @@
 #Enable Kartographer
 wfLoadExtension( 'JsonConfig' );
 wfLoadExtension( 'Kartographer' );
-$wgKartographerMapServer = 'https://a.tile.openstreetmap.org';
+$wgKartographerMapServer = 'https://tile.openstreetmap.org';
 $wgKartographerDfltStyle = '';
 $wgKartographerSrcsetScales = [1];
 $wgKartographerStyles = [];