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.
This commit is contained in:
Ben Harris
2022-10-26 01:32:52 +01:00
parent 5fae5ca0db
commit 7354790ca4

View File

@ -165,13 +165,13 @@ mergeInto(LibraryManager.library, {
* the random seed permalink. * the random seed permalink.
*/ */
js_update_permalinks: function(desc, seed) { js_update_permalinks: function(desc, seed) {
desc = encodeURI(UTF8ToString(desc)).replaceAll("#", "%23"); desc = encodeURI(UTF8ToString(desc)).replace(/#/g, "%23");
permalink_desc.href = "#" + desc; permalink_desc.href = "#" + desc;
if (seed == 0) { if (seed == 0) {
permalink_seed.style.display = "none"; permalink_seed.style.display = "none";
} else { } else {
seed = encodeURI(UTF8ToString(seed)).replaceAll("#", "%23");; seed = encodeURI(UTF8ToString(seed)).replace(/#/g, "%23");;
permalink_seed.href = "#" + seed; permalink_seed.href = "#" + seed;
permalink_seed.style.display = ""; permalink_seed.style.display = "";
} }