From c2d57350fbe6be57572346399d0c8285752473f5 Mon Sep 17 00:00:00 2001
From: "Kasper D. Fischer" <kasper.fischer@rub.de>
Date: Tue, 14 Jul 2020 22:17:49 +0200
Subject: [PATCH] change jquery to version 3.0.0 and adding jquery-migrate
 script

---
 www/index.html.de | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/www/index.html.de b/www/index.html.de
index 0943ff0..ea89fa1 100755
--- a/www/index.html.de
+++ b/www/index.html.de
@@ -8,8 +8,8 @@
 
 	<!-- Style definitions -->
 	<link rel="stylesheet" href="main.css" />
-	<!-- link rel="stylesheet" href="//code.jquery.com/ui/1.10.4/themes/smoothness/jquery-ui.css" / -->
-	<link rel="stylesheet" href="//code.jquery.com/ui/1.10.4/themes/cupertino/jquery-ui.css" />
+	<!-- link rel="stylesheet" href="https:////code.jquery.com/ui/3.0.0/themes/smoothness/jquery-ui.css" / -->
+	<link rel="stylesheet" href="https:////code.jquery.com/ui/1.12.1/themes/cupertino/jquery-ui.css" />
 	<link rel="stylesheet" href="external/theme.blue.css"/>
 	<link rel="stylesheet" href="external/jquery.tablesorter.pager.css" />
 	<link rel="stylesheet" href="external/leaflet.css" />
@@ -18,8 +18,9 @@
 	<link rel="stylesheet" href="external/easyPrint.css"/>
 
 	<!-- jQuery & jQueryUI -->
-	<script type="text/javascript" src="//code.jquery.com/jquery-1.11.0.min.js"></script>
-	<script type="text/javascript" src="//code.jquery.com/ui/1.10.4/jquery-ui.js"></script>
+	<script type="text/javascript" src="https://code.jquery.com/jquery-3.0.0.js"></script>
+	<script type="text/javascript" src="https://code.jquery.com/ui/1.12.1/jquery-ui.js"></script>
+	<script type="text/javascript" src="https://code.jquery.com/jquery-migrate-3.3.1.js"></script>
 
 	<!-- Localtime & sprintf -->
 	<script type="text/javascript" src="external/jquery.localtime-0.9.1.min.js"></script>