update dist

to include changes from PR #180
OpenHistoricalMap · Sep 1, 2023 · 518546c · 518546c
1 parent 7ddca16
commit 518546c
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/dist/iD.js b/dist/iD.js
@@ -75082,7 +75082,7 @@ ${content}</tr>
       var type2 = value ? "Tag" : "Key";
       var prefix = "";
       if (isHistorical) {
-        prefix = `Open Historical Map/Tags/${type2}/`;
+        prefix = `OpenHistoricalMap/Tags/${type2}/`;
       } else {
         prefix = type2 + ":";
       }
@@ -75102,7 +75102,7 @@ ${content}</tr>
       var titles = [];
       var result = {};
       var rtypeSitelink = params.key === "type" && params.value ? ("Relation:" + params.value).replace(/_/g, " ").trim() : false;
-      var rtypeSitelinkHistorical = params.key === "type" && params.value ? "Open Historical Map/Tags/Relation/" + params.value.replace(/_/g, " ").trim() : false;
+      var rtypeSitelinkHistorical = params.key === "type" && params.value ? "OpenHistoricalMap/Tags/Relation/" + params.value.replace(/_/g, " ").trim() : false;
       var keySitelink = params.key ? this.toSitelink(params.key) : false;
       var keySitelinkHistorical = params.key ? this.toSitelink(params.key, null, true) : false;
       var tagSitelink = params.key && params.value ? this.toSitelink(params.key, params.value) : false;