From d787f8b226e917b96187e676d913922cea88659d Mon Sep 17 00:00:00 2001
From: Koen <koen@koenvh.nl>
Date: Wed, 6 Jun 2018 21:31:51 +0200
Subject: [PATCH] Update Leaflet

---
 web/map.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/web/map.html b/web/map.html
index d005c9ef2..f7ee35b92 100644
--- a/web/map.html
+++ b/web/map.html
@@ -2,7 +2,9 @@
     <title>ETS2 Local Radio map</title>
 
     <meta charset="utf-8">
-    <link rel="stylesheet" href="https://unpkg.com/leaflet@1.0.3/dist/leaflet.css" />
+    <link rel="stylesheet" href="https://unpkg.com/leaflet@1.3.1/dist/leaflet.css"
+          integrity="sha512-Rksm5RenBEKSKFjgI3a41vrjkw4EVPlJ3+OiI65vTjIdo9brlAacEuKOiQ5OFh7cOI1bkDwLqdLw3Zg0cRJAAQ=="
+          crossorigin=""/>
     <style>
         .lightblue {
             background-color: lightblue;
@@ -12,7 +14,9 @@
         }
     </style>
     <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.1.1/jquery.min.js"></script>
-    <script src="https://unpkg.com/leaflet@1.0.3/dist/leaflet.js"></script>
+    <script src="https://unpkg.com/leaflet@1.3.1/dist/leaflet.js"
+            integrity="sha512-/Nsx9X4HebavoBvEBuyp3I7od5tA0UzAxs+j83KgC8PU0kgB4XiK4Lfe4y4cgBtaRJQEIFCW+oC506aPT2L1zw=="
+            crossorigin=""></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/randomcolor/0.4.4/randomColor.js"></script>
     <script src="config.js"></script>
     <!--