wiki.erg.be/map
1
0
Fork 0
Code Issues 4 Pull Requests Packages Projects Releases Wiki Activity

local changes to map

Browse Source
This commit is contained in:
Michael Murtaugh
2019-06-08 10:51:31 +02:00
parent a3b3a3d7f4
commit 6edfb590e5
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
map.html
View File

@@ -6,20 +6,20 @@
<link rel="stylesheet" type="text/css" href="style.css">
<style>
#wiki {
left: 80%;
left: 66%;
}
</style>
</head>
<body>
<div id="controls">
<a href="http://localhost/mw/api.php" id="mediawikiapi"></a><input id="startpage" value="Bienvenue à l’erg" autofocus /><button id="button">ok</button>
<a href="http://mw/api.php" id="mediawikiapi"></a><input id="startpage" value="Bienvenue à l’erg" autofocus /><button id="button">ok</button>
</div>
<div id="content">
<svg id="svg" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"></svg>
</div>
<div id="wiki">
<iframe src="http://localhost/mw/"></iframe>
<iframe src="/mw/"></iframe>
</div>
<div id="cats" class="expanded">
<div class="ocontents">
@@ -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 () {