bbcmicrobit
diff --git a/‎editor.html‎
Lines changed: 6 additions & 5 deletions b/‎editor.html‎
Lines changed: 6 additions & 5 deletions
@@ -69,11 +69,11 @@
     </head>
     <body>
         <script type="application/javascript">
-        if (navigator.appVersion.indexOf("MSIE 10") !== -1 || navigator.appVersion.indexOf("MSIE 9") !== -1 || navigator.appVersion.indexOf("MSIE 8") !== -1 || navigator.appVersion.indexOf("MSIE 7") !== -1)
-        {
-            document.write('<a href="https://www.microsoft.com/en-gb/download/internet-explorer.aspx">Please upgrade to IE 11 or greater.</a>');
-            document.execCommand('Stop');
-        }
+            if (navigator.appVersion.indexOf("MSIE 9") !== -1 || navigator.appVersion.indexOf("MSIE 8") !== -1 || navigator.appVersion.indexOf("MSIE 7") !== -1)
+            {
+                document.write('<a href="https://www.microsoft.com/en-gb/download/internet-explorer.aspx">Please upgrade to IE 10 or greater.</a>');
+                document.execCommand('Stop');
+            }
         </script>
         <script type="application/javascript">
             // VERSION INFORMATION
@@ -260,6 +260,7 @@ <h2><i class="fa fa-unlock-alt"></i> <strong>{{ title }}</strong></h2>
         <script src="static/js/encoding.js" type="application/javascript"></script>
         <script src="static/js/mustache.min.js"
             type="application/javascript"></script>
+        <script src="static/js/polyfill.min.js" type="application/javascript"></script>
         <script src="static/js/intel-hex.browser.js" type="application/javascript"></script>
         <script src="blockly/blockly_compressed.js"></script>
         <script src="blockly/blocks_compressed.js"></script>