From 6edfb590e5e1630fd42cbf12ef6fc1a893c571a0 Mon Sep 17 00:00:00 2001 From: Michael Murtaugh Date: Sat, 8 Jun 2019 10:51:31 +0200 Subject: [PATCH] local changes to map --- map.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/map.html b/map.html index 9f20fb8..02c3ad9 100644 --- a/map.html +++ b/map.html @@ -6,20 +6,20 @@
- +
- +
@@ -95,7 +95,7 @@ // async function doload() { // map.set_active_node(startpage.value); // } - var URLPAT = new RegExp("http://localhost/mw/index.php/(.+)"); + var URLPAT = new RegExp("http://wiki.erg.be/mw/index.php/(.+)"); function strip_fragment (href) { var spos = href.indexOf("#"); if (spos >= 0) { @@ -112,7 +112,7 @@ console.log("m", m); } function wiki_title_to_url (title) { - return "http://localhost/mw/index.php/"+encodeURI(title.replace(/ /g, "_")); + return "http://wiki.erg.be/mw/index.php/"+encodeURI(title.replace(/ /g, "_")); } window.addEventListener("DOMContentLoaded", doload); iframe.addEventListener("load", function () { @@ -150,4 +150,4 @@ map.set_show_history(historycb.checked); }) - \ No newline at end of file +