Fix double HTML element in editor.html.

microbit-carlos · microbit-carlos · commit 0d456e18b733 · 2019-10-25T11:58:30.000+01:00
diff --git a/editor.html b/editor.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<html lang="en">
+<html lang="en" data-useragent="Mozilla/5.0 (compatible; MSIE 10.0; Windows NT 6.2; Trident/6.0)">
     <!--
                                                                              .:://++++++//:-.
                                                                            .++/::++++++++++++/`
@@ -81,7 +81,6 @@
             EDITOR_VERSION = "2.0.0-beta.5";
             UPY_VERSION = "1.0.1";
         </script>
-        <html data-useragent="Mozilla/5.0 (compatible; MSIE 10.0; Windows NT 6.2; Trident/6.0)"></html>
         <script id="files-template" type="x-tmpl-mustache">
             <h2 class="modal-title"><i class="fa fa-upload"></i> <strong>{{ load-title }}</strong></h2>
             <div class="load-drag-target" id="load-drag-target">
