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

Author: microbit-carlos

editor.html

@@ -419,15 +419,15 @@ <h2 id="modal-msg-title"></h2>
         <script src="static/js/FileSaver.min.js" type="application/javascript"></script>
         <script src="static/js/vex.combined.min.js"
             type="application/javascript"></script>
-        <script src="static/js/encoding.js" type="application/javascript"></script>
+        <script src="static/js/encoding.min.js" type="application/javascript"></script>
         <script src="static/js/mustache.min.js"
             type="application/javascript"></script>
         <script src="static/js/ResizeSensor.js"></script>
-        <script src="static/js/ElementQueries.js"></script>
+        <script src="static/js/ElementQueries.min.js"></script>
         <script src="static/js/custom-event-polyfill.js"></script>
-        <script src="static/js/lzma-d.js"></script>
+        <script src="static/js/lzma-d.min.js"></script>
         <script src="static/js/base64.js"></script>
-        <script src="static/js/microbit-fs.umd.js"></script>
+        <script src="static/js/microbit-fs.umd.min.js"></script>
         <script src="lang/en.js" id="lang"></script>
         <script src="micropythonapi.js"></script>
         <script src="python-main.js"></script>

python-main.js

@@ -521,7 +521,7 @@ function web_editor(config) {
 
         if (navigator.usb) {
             script('static/js/dap.umd.js');
-            script('static/js/hterm_all.js');
+            script('static/js/hterm_all.min.js');
             script('partial-flashing.js');
         }
     }