cschulz/rd13_media_wiki
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Small changes to settings.php

Browse source
This commit is contained in:
conradschulz 2021-05-06 19:25:00 +02:00
parent 35bd0c662f
commit 197b620294
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
example.LocalSettings.php
View file

@ -316,7 +316,7 @@ $egMapsDefaultGeoService = 'nominatim';
wfLoadExtension( 'Kartographer' ); wfLoadExtension( 'Kartographer' );
# Global OpenStreetmap tile Server # Global OpenStreetmap tile Server
#$wgKartographerMapServer = 'https://tile.openstreetmap.org'; #$wgKartographerMapServer = 'https://tile.openstreetmap.org';
$wgKartographerMapServer = 'https://a.tile.openstreetmap.de'; $wgKartographerMapServer = 'https://a.tile.openstreetmap.de/';
# Adding Musical notation with score Notation # Adding Musical notation with score Notation