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

small changes

Browse source
This commit is contained in:
conradschulz 2021-05-06 16:49:07 +02:00
parent 7469445531
commit 3c2c8bee5f
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
example.LocalSettings.php
View file

@ -310,7 +310,6 @@ wfLoadExtension( 'Graph' );
# inside the wiki shell
wfLoadExtension( 'Maps' );
$egMapsDefaultService = 'leaflet';
$egMapsMapWidth = 800;
$egMapsDefaultGeoService = 'nominatim';
# Adding Musical notation with score Notation