From caeae22d426f5aaa5de4672736dfc3f0dc3b04e6 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Tue, 25 Jul 2017 17:16:44 +0200
Subject: [PATCH] missing endsWith function for Internet Explorer added,
moreover, if IE browser is detected alert info is presented to the user
---
frontend-js/src/main/js/GuiConnector.js | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/frontend-js/src/main/js/GuiConnector.js b/frontend-js/src/main/js/GuiConnector.js
index e391ef7301..e51c5b6b69 100644
--- a/frontend-js/src/main/js/GuiConnector.js
+++ b/frontend-js/src/main/js/GuiConnector.js
@@ -28,6 +28,17 @@ GuiConnector.yPos = 0;
GuiConnector.init = function() {
var self = this;
+ if (!String.prototype.endsWith) {
+ String.prototype.endsWith = function(pattern) {
+ var d = this.length - pattern.length;
+ return d >= 0 && this.lastIndexOf(pattern) === d;
+ };
+ }
+ var isIE = /* @cc_on!@ */false || !!document.documentMode;
+
+ if (isIE) {
+ alert("This webpage works well with Chrome, Firefox and Safari.");
+ }
// bootstrap tab initialization
$("ul.nav-tabs a").click(function(e) {
e.preventDefault();
--
GitLab