Pin eruda version to 3.0.1

diff --git a/eruda/index.js b/eruda/index.js
index a5f4e81f379aff3bf3e0e8587b04229a6e53c6ca..9c13206761dc2f887c7f5ba341c4276f59ce32af 100644 (file)
--- a/eruda/index.js
+++ b/eruda/index.js
@@ -2,7 +2,7 @@ import { SetBase, UpdateLink } from '../proxy';
 
 class InjectEruda {
   element(element) {
-    element.prepend('<script src="//cdn.jsdelivr.net/npm/eruda"></script><script>eruda.init();</script>', { html: true });
+    element.prepend('<script src="//cdn.jsdelivr.net/npm/eruda@3.0.1/eruda.js" integrity="sha512-iqTxJJyPkonhuLaymGBUWM6x/icdahslHnzOZjrQifaSH+RjA3SGNGhKWboNqhbekZiN63UeorCfIz6XJBD/Fw==" crossorigin></script><script>eruda.init();</script>', { html: true });
   }
 }