From dc58851c6b8ec298362c06a2b6b0a17c65008b40 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Fri, 21 Dec 2018 16:36:30 +0100
Subject: [PATCH] lint issues
---
frontend-js/src/main/js/GuiConnector.js | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/frontend-js/src/main/js/GuiConnector.js b/frontend-js/src/main/js/GuiConnector.js
index 9ecee0edaf..4fd72b8073 100644
--- a/frontend-js/src/main/js/GuiConnector.js
+++ b/frontend-js/src/main/js/GuiConnector.js
@@ -8,7 +8,6 @@ var Functions = require('./Functions');
var SecurityError = require('./SecurityError');
var ValidationError = require('./ValidationError');
var GuiMessageError = require('./gui/GuiMessageError');
-var NetworkError = require('./NetworkError');
/**
* This static global object contains set of functions that returns/set data in
@@ -51,7 +50,7 @@ GuiConnector.prototype.init = function () {
return d >= 0 && this.lastIndexOf(pattern) === d;
};
}
- // noinspection PointlessBooleanExpressionJS
+ // noinspection PointlessBooleanExpressionJS,JSUnresolvedVariable
var isIE = /* @cc_on!@ */false || !!document.documentMode;
if (isIE) {
--
GitLab