Update Template.lean to remove poisioned polyfill.io

leanprover · Jul 31, 2024 · 32c52a4 · 32c52a4
1 parent 593ac5b
commit 32c52a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean
@@ -27,7 +27,7 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d
 
         <title>{title}</title>
         <script defer="true" src={s!"{← getRoot}mathjax-config.js"}></script>
-        <script defer="true" src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+        <script defer="true" src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
         <script defer="true" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
 
         <script>{.raw s!"const SITE_ROOT={String.quote (← getRoot)};"}</script>