From 7354790ca40aa648f8ce6a6f0e568b9971a6a42c Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Wed, 26 Oct 2022 01:32:52 +0100
Subject: [PATCH] js: Use String.replace() in place of .replaceAll()

The latter turns out to be a little too new for KaiOS 2.5, but
.replace() will do global replacements if fed a RegExp.
---
 emcclib.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/emcclib.js b/emcclib.js
index 3d9db2f..17fd880 100644
--- a/emcclib.js
+++ b/emcclib.js
@@ -165,13 +165,13 @@ mergeInto(LibraryManager.library, {
      * the random seed permalink.
      */
     js_update_permalinks: function(desc, seed) {
-        desc = encodeURI(UTF8ToString(desc)).replaceAll("#", "%23");
+        desc = encodeURI(UTF8ToString(desc)).replace(/#/g, "%23");
         permalink_desc.href = "#" + desc;
 
         if (seed == 0) {
             permalink_seed.style.display = "none";
         } else {
-            seed = encodeURI(UTF8ToString(seed)).replaceAll("#", "%23");;
+            seed = encodeURI(UTF8ToString(seed)).replace(/#/g, "%23");;
             permalink_seed.href = "#" + seed;
             permalink_seed.style.display = "";
         }