diff --git a/modules/ui/editors.js b/modules/ui/editors.js
index 1b8b83c1..28c8a83f 100644
--- a/modules/ui/editors.js
+++ b/modules/ui/editors.js
@@ -546,7 +546,7 @@ function unfog(id) {
 function getFileName(dataType) {
   const name = mapName.value;
   const type = dataType ? dataType + " " : "";
-  const dateString = new Date().toISOString().replace(/:[0-9]+\..*/, "").replaceAll(/[T:]/g, "-");
+  const dateString = new Date().toISOString().replace(/:[0-9]+\..*/, "").replace(/[T:]/g, "-");
   return name + " " + type + dateString;
 }