Added Web Bluetooth flasher

Author: gfwilliams

Diff for: EspruinoTools

@@ -1,6 +1,6 @@
 
 <p class="webide_version"></p>
-<p>The Espruino software and hardware is <a href="https://github.com/espruino" target="_blank">Open Source</a>. 
+<p>The Espruino software and hardware is <a href="https://github.com/espruino" target="_blank">Open Source</a>.
 Our work is supported purely by <a href="http://www.espruino.com/Donate" target="_blank">donations</a> and
 <a href="http://www.espruino.com/Order" target="_blank">sales of Espruino boards</a>.</p>
 
@@ -13,9 +13,10 @@ <h2>Credits</h2>
   <li><b><a href="https://code.google.com/p/blockly/" target="_blank">Blockly</a></b>   Neil Fraser and others for the Blockly Graphical Editor</li>
   <li><b><a href="http://codeseven.github.io/toastr/" target="_blank">Toastr</a></b>   Code Seven for the Toastr notifications plugin</li>
   <li><b><a href="http://modernuiicons.com/" target="_blank">Modern UI Icons</a></b>   Austin Andrews of Templarian.com for the Modern UI Icons</li>
-  <li><b><a href="http://twitter.com/mattbrailsford" target="_blank">Matt Brailsford</a></b> - UI design + Web IDE improvements</li> 
+  <li><b><a href="http://twitter.com/mattbrailsford" target="_blank">Matt Brailsford</a></b> - UI design + Web IDE improvements</li>
   <li><b>Juergen Marsch</b> - Web IDE improvements</li>
-  <li><b><a href="http://twitter.com/Espruino" target="_blank">Gordon Williams</a></b> - Web IDE development/maintenance</li>  
+  <li><b><a href="https://github.com/thegecko">Rob Moran</a></b> - Web Bluetooth Firmware Updater</li>
+  <li><b><a href="http://twitter.com/Espruino" target="_blank">Gordon Williams</a></b> - Web IDE development/maintenance</li>
 </ul>
 
 <p>The Espruino Web IDE is an Open Source JavaScript application, <a href="https://github.com/espruino/EspruinoWebIDE" target="_blank">available on GitHub</a>. Please contribute, and help to make it even better!</p>

Diff for: data/settings_about.html

@@ -171,6 +171,8 @@ <h5 class="title-bar__title">Espruino Web IDE</h5>
     <script src="EspruinoTools/core/modules.js"></script>
     <script src="EspruinoTools/core/env.js"></script>
     <script src="EspruinoTools/core/flasher.js"></script>
+    <script src="js/libs/crc32.min.js"></script>
+    <script src="js/libs/secure-dfu.js"></script>
 
     <script src="js/core/editorBlockly.js"></script>
     <script src="js/core/editorJavaScript.js"></script>

Diff for: index.html

@@ -65,7 +65,7 @@
         chrome.storage.local.set({"CODE_JS": cm.getValue()});
     });
     // Handle hovering
-    CodeMirror.on(codeMirror.getWrapperElement(), "mouseover", function(e) {      
+    CodeMirror.on(codeMirror.getWrapperElement(), "mouseover", function(e) {
       var node = e.target || e.srcElement;
       if (node) {
         var stillInNode = true;