Merge branch 'master' of https://github.com/bbcmicrobit/PythonEditor

microbit-carlos · microbit-carlos · commit 123433e13e83 · 2019-10-25T12:12:03.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)">
     <!--
                                                                              .:://++++++//:-.
                                                                            .++/::++++++++++++/`
@@ -84,7 +84,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">
@@ -370,7 +369,7 @@ <h2><i class="fa fa-unlock-alt"></i> <strong>{{ title }}</strong></h2>
                                 <li><span title="Spanish"><a lang="es" href="#" class="action lang-choice" id="es" tabindex="122">Español</a></span></li>
                                 <li><span title="Polish"><a lang="pl" href="#" class="action lang-choice" id="pl" tabindex="123">Polski</a></span></li>
                             </ul>
-                            <div><a id="add-language-link" class="action" title="Add a language translation to the Editor" href="https://support.microbit.org/solutions/articles/19000106022-translating-the-micro-bit-python-editor" target="_blank" tabindex="124">Add a language</a></div>
+                            <div><a id="add-language-link" class="action" title="Add a language translation to the Editor" href="https://support.microbit.org/support/solutions/articles/19000106022-translating-the-micro-bit-python-editor" target="_blank" tabindex="124">Add a language</a></div>
                         </div>
                     </div>
                 </div>
