Re-enable history api on file:// protocol

GuillaumeGomez · GuillaumeGomez · commit 830b3b8c75a5 · 2019-01-10T23:59:42.000+01:00
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
@@ -150,8 +150,7 @@ if (!DOMTokenList.prototype.remove) {
     }
 
     function browserSupportsHistoryApi() {
-        return document.location.protocol != "file:" &&
-          window.history && typeof window.history.pushState === "function";
+        return window.history && typeof window.history.pushState === "function";
     }
 
     var main = document.getElementById("main");

Original file line number	Diff line number	Diff line change
`@@ -150,8 +150,7 @@ if (!DOMTokenList.prototype.remove) {`
`150`	`150`	`}`
`151`	`151`
`152`	`152`	`function browserSupportsHistoryApi() {`
`153`		`- return document.location.protocol != "file:" &&`
`154`		`- window.history && typeof window.history.pushState === "function";`
	`153`	`+ return window.history && typeof window.history.pushState === "function";`
`155`	`154`	`}`
`156`	`155`
`157`	`156`	`var main = document.getElementById("main");`