MAPG-126 add configurable attribution for Leaflet maps

.env.example

@@ -6,3 +6,4 @@ DB_NAME=mapguesser
 GOOGLE_MAPS_SERVER_API_KEY=your_google_maps_server_api_key
 GOOGLE_MAPS_JS_API_KEY=your_google_maps_js_api_key
 LEAFLET_TILESERVER_URL=a_leaflet_compatible_tileserver_url
+LEAFLET_TILESERVER_ATTRIBUTION=attribution_to_be_shown_for_tiles

public/static/js/map_editor.js

@@ -351,7 +351,6 @@
     };
 
     MapEditor.map = L.map('map', {
-        attributionControl: false,
         zoomControl: false
     });
 
@@ -371,6 +370,7 @@
     var highResData = Util.getHighResData();
 
     L.tileLayer(tileUrl, {
+        attribution: tileAttribution,
         subdomains: '1234',
         ppi: highResData.ppi,
         tileSize: highResData.tileSize,

views/admin/map_editor.php

@@ -62,6 +62,7 @@
 </div>
 <script>
     var tileUrl = '<?= $_ENV['LEAFLET_TILESERVER_URL'] ?>';
+    var tileAttribution = '<?= $_ENV['LEAFLET_TILESERVER_ATTRIBUTION'] ?>';
     var mapId = <?= $mapId ?>;
     var mapBounds = <?= json_encode($bounds) ?>;
     var places = <?= json_encode($places, JSON_FORCE_OBJECT) ?>;