Update polyfill and load in all locations

Also simplify copying of polyfill, this change though requires node 8 or newer but this should be fine as node is only necessary to build the extension
2019-04-23 14:18:35 -07:00
parent e4a8307106
commit c59857570c
6 changed files with 2558 additions and 7202 deletions
--- a/devtools.html
+++ b/devtools.html
@@ -1,2 +1,3 @@
 <!DOCTYPE html>
+<script src="public/js/browser-polyfill.min.js"></script>
 <script src="public/js/devtools.js"></script>