lint issue fixed

diff --git a/web/compatibility.js b/web/compatibility.js
index 2a170ec37e07ee49d89e8395375e3e91811ac759..5c192c9a996eb07ad7c4b0735bacc416bed9260a 100644 (file)
--- a/web/compatibility.js
+++ b/web/compatibility.js
@@ -251,4 +251,4 @@
     // use browser detection since we cannot feature-check this bug
     document.addEventListener('click', ignoreIfTargetDisabled, true);
   }
-})();
\ No newline at end of file
+})();