Docs: Ensure URLs without .html are properly redirected.

Mugen87 · Mugen87 · commit c987adac583c · 2020-10-21T15:06:52.000+02:00
diff --git a/docs/page.js b/docs/page.js
@@ -17,7 +17,9 @@ if ( ! window.frameElement && window.location.protocol !== 'file:' ) {
 
 	}
 
-	const pathSnippet = href.slice( splitIndex, - 5 );
+	const extension = href.split( '.' ).pop();
+	const end = ( extension === 'html' ) ? - 5 : href.length;
+	const pathSnippet = href.slice( splitIndex, end );
 
 	window.location.replace( docsBaseURL + '#' + pathSnippet + hash );
 

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,9 @@ if ( ! window.frameElement && window.location.protocol !== 'file:' ) {`
`17`	`17`
`18`	`18`	`}`
`19`	`19`
`20`		`- const pathSnippet = href.slice( splitIndex, - 5 );`
	`20`	`+ const extension = href.split( '.' ).pop();`
	`21`	`+ const end = ( extension === 'html' ) ? - 5 : href.length;`
	`22`	`+ const pathSnippet = href.slice( splitIndex, end );`
`21`	`23`
`22`	`24`	`window.location.replace( docsBaseURL + '#' + pathSnippet + hash );`
`23`	`25`