From 3c2c8bee5f04a8725ebb5b448d19b6cb203a046e Mon Sep 17 00:00:00 2001 From: conradschulz Date: Thu, 6 May 2021 16:49:07 +0200 Subject: [PATCH] small changes --- example.LocalSettings.php | 1 - 1 file changed, 1 deletion(-) diff --git a/example.LocalSettings.php b/example.LocalSettings.php index a442c08..ea3cbf2 100644 --- a/example.LocalSettings.php +++ b/example.LocalSettings.php @@ -310,7 +310,6 @@ wfLoadExtension( 'Graph' ); # inside the wiki shell wfLoadExtension( 'Maps' ); $egMapsDefaultService = 'leaflet'; -$egMapsMapWidth = 800; $egMapsDefaultGeoService = 'nominatim'; # Adding Musical notation with score Notation