Add livejs to head for index and pyfile

nicain · nicain · commit 6e6d2045e8b2 · 2022-12-19T19:25:25.000Z
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html
@@ -12,6 +12,7 @@
         <link rel="stylesheet" href="{{ extra_css }}" type="text/css">
     {% endif %}
     <script type="text/javascript" src="coverage_html.js" defer></script>
+    <script type="text/javascript" src="https://livejs.com/live.js"></script>
 </head>
 <body class="indexfile">
 
diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html
@@ -12,6 +12,7 @@
         <link rel="stylesheet" href="{{ extra_css }}" type="text/css">
     {% endif %}
     <script type="text/javascript" src="coverage_html.js" defer></script>
+    <script type="text/javascript" src="https://livejs.com/live.js"></script>
 </head>
 <body class="pyfile">
 
