From 7053544bcb951d6c9dfd52d3cf45d9dc969aa89e Mon Sep 17 00:00:00 2001
From: Maximilian Grundke <maximiliangrundke@googlemail.com>
Date: Tue, 5 Jun 2018 11:31:08 +0200
Subject: [PATCH] Hide socket errors in Internet Explorer too

---
 app/assets/javascripts/editor/editor.js.erb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 00ce3fc7..4b336c60 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -552,8 +552,8 @@ configureEditors: function () {
   },
 
   showWebsocketError: function() {
-    if (window.navigator.userAgent.indexOf('Edge') > -1) {
-      // Mute errors in Microsoft Edge
+    if (window.navigator.userAgent.indexOf('Edge') > -1 || window.navigator.userAgent.indexOf('Trident') > -1) {
+      // Mute errors in Microsoft Edge and Internet Explorer
       return;
     }
     $.flash.danger({