Lines Matching refs:url

104     var url = urls.shift();
108     if (url.startsWith("file://")) {
109       window.location.href = url;
114       window.location.href = url;
118       url: url,  property
120         window.location.href = url;
129     var url = window.location.href;
132     var urlarray = url.split('/');
145     var url = window.location.href;
155         var new_url = docroot + new_versionpath + url.replace(docroot, "");
158         var new_url = url.replace('/' + current_version + '/', '/' + new_versionpath);
159         var fallback_url = new_url.replace(url.replace(docroot, ""), "");
163     console.log(url + " to url " + new_url);
164     console.log(url + " to fallback " + fallback_url);
166     if (new_url != url) {
177     var url = window.location.href;
188       var new_url = url.replace("singleindex.html", "index.html")
191     if (new_url != url) {
200   function doctype_segment_from_url(url) {  argument
201     if (url.includes("singleindex") || url.includes("mega-manual"))