From 35bd0c662f32e8d51571e07761da973d1753b977 Mon Sep 17 00:00:00 2001 From: conradschulz Date: Thu, 6 May 2021 19:11:31 +0200 Subject: [PATCH] added Katographer extension --- docker-compose.yml | 1 + example.LocalSettings.php | 7 +++++++ 2 files changed, 8 insertions(+) diff --git a/docker-compose.yml b/docker-compose.yml index 1ef1535..960e08d 100644 --- a/docker-compose.yml +++ b/docker-compose.yml @@ -16,6 +16,7 @@ services: - ./wikidata/uploads.ini:/usr/local/etc/php/conf.d/uploads.ini:ro - ./wikidata/Wiki_Logo.png:/var/www/html/resources/assets/Wiki_Logo.png - ./wikidata/extensions:/var/www/html/extensions + - ./wikidata/vendor:/var/www/html/vendor # After initial setup, download LocalSettings.php to the same directory as # this yaml and uncomment the following line and use compose to restart # the mediawiki service diff --git a/example.LocalSettings.php b/example.LocalSettings.php index ea3cbf2..de2cdda 100644 --- a/example.LocalSettings.php +++ b/example.LocalSettings.php @@ -312,6 +312,13 @@ wfLoadExtension( 'Maps' ); $egMapsDefaultService = 'leaflet'; $egMapsDefaultGeoService = 'nominatim'; +# Kartographer as a subcategory +wfLoadExtension( 'Kartographer' ); +# Global OpenStreetmap tile Server +#$wgKartographerMapServer = 'https://tile.openstreetmap.org'; +$wgKartographerMapServer = 'https://a.tile.openstreetmap.de'; + + # Adding Musical notation with score Notation ############################################# wfLoadExtension( 'Score' );