Replace polyfill provider in HTML templates.

The PR replaces polyfill.io with cdnjs.cloudflare.com/polyfill. polyfill.io has been acquired by Funnull, and the service has become unstable. This is essentially a cleaned up version of PR jgm#2384 by @SukkaW; see the PR for more information.
hanjoosten · Mar 1, 2024 · 5877ec5 · 5877ec5
1 parent 2549d34
commit 5877ec5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/data/templates/default.html4 b/data/templates/default.html4
@@ -28,7 +28,7 @@ $for(header-includes)$
 $endfor$
 $if(math)$
 $if(mathjax)$
-  <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+  <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
 $endif$
   $math$
 $endif$

diff --git a/data/templates/default.html5 b/data/templates/default.html5
@@ -28,7 +28,7 @@ $for(header-includes)$
 $endfor$
 $if(math)$
 $if(mathjax)$
-  <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+  <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
 $endif$
   $math$
 $endif$