From 4897509aeec8ba6b62d0de412d4579aa128b96d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20JEAN?= <contact@sebjean.com>
Date: Wed, 27 Mar 2019 18:47:18 +0100
Subject: [PATCH] Use leaflet.js instead of leaflet-src.js

leaflet.js is more than twice lighter than leaflet-src.js
---
 module/config/config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module/config/config.php b/module/config/config.php
index fd621bb..a4773cb 100644
--- a/module/config/config.php
+++ b/module/config/config.php
@@ -21,7 +21,7 @@ $GLOBALS['LEAFLET_LIBRARIES']['leaflet'] = array
     'license'    => '<a href="https://github.com/Leaflet/Leaflet/blob/master/LICENSE" target="_blank">BSD-2-Clause</a>',
     'homepage'   => 'http://leafletjs.com',
     'css'        => 'assets/leaflet/libs/leaflet/leaflet.min.css',
-    'javascript' => 'assets/leaflet/libs/leaflet/leaflet-src.js',
+    'javascript' => 'assets/leaflet/libs/leaflet/leaflet.js',
 );
 
 $GLOBALS['LEAFLET_LIBRARIES']['leaflet-providers'] = array