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.

1 files 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 = "";
         }