From 5877ec546df29115163b36de32837f5e08506092 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 1 Mar 2024 08:46:10 -0800
Subject: [PATCH] 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 #2384 by @SukkaW;
see the PR for more information.
---
 data/templates/default.html4 | 2 +-
 data/templates/default.html5 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/data/templates/default.html4 b/data/templates/default.html4
index 401dd88e18d4..636018a45c20 100644
--- 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
index acc90d790e13..bc8a48a6e878 100644
--- 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$