From fc8bc06cea3764793db96d40ae3128c4ebba9a3c Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Wed, 13 Mar 2024 07:02:14 +0000
Subject: [PATCH] Fix incompatibility with Edge Mobile and IE11

Fixes #575.
---
 www/js/init.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/www/js/init.js b/www/js/init.js
index 2ce249b4..c4a0a008 100644
--- a/www/js/init.js
+++ b/www/js/init.js
@@ -286,7 +286,7 @@ if (/^http/i.test(window.location.protocol)) {
     });
 }
 // Set cssInjectionMode radio buttons
-document.querySelectorAll('input[name=cssInjectionMode]').forEach(function (radio) {
+Array.prototype.slice.call(document.querySelectorAll('input[name=cssInjectionMode]')).forEach(function (radio) {
     radio.checked = false;
     if (radio.value === params.cssSource) {
         radio.checked = true;