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

Update settings.php

Browse source
This commit is contained in:
conradschulz 2021-05-06 16:27:49 +02:00
parent 8473187119
commit c323f683fb
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

@ -311,7 +311,7 @@ wfLoadExtension( 'Graph' );
wfLoadExtension( 'Maps' ); wfLoadExtension( 'Maps' );
$egMapsDefaultService = 'leaflet'; $egMapsDefaultService = 'leaflet';
$egMapsMapWidth = 800; $egMapsMapWidth = 800;
$egMapsDefaultGeoService = 'leaflet'; #$egMapsDefaultGeoService = 'google';
# Adding Musical notation with score Notation # Adding Musical notation with score Notation
############################################# #############################################