Lines Matching refs:url

110     var url = urls.shift();
114     if (url.startsWith("file://")) {
115       window.location.href = url;
120       window.location.href = url;
124       url: url,  property
126         window.location.href = url;
135     var url = window.location.href;
138     var urlarray = url.split('/');
151     var url = window.location.href;
159         var new_url = docroot + new_versionpath + url.replace(docroot, "");
170         var new_url = url.replace('/' + current_version + '/', '/' + new_versionpath);
171         var fallback_url = new_url.replace(url.replace(docroot, ""), "");
175     console.log(url + " to url " + new_url);
176     console.log(url + " to fallback " + fallback_url);
178     if (new_url != url) {
189     var url = window.location.href;
200       var new_url = url.replace("singleindex.html", "index.html")
203     if (new_url != url) {
211   // Returns the current doctype based upon the url
212   function doctype_segment_from_url(url) {  argument
213     if (url.includes("singleindex") || url.includes("mega-manual"))