|
@@ -2,7 +2,7 @@ if ( ! window.frameElement && window.location.protocol !== 'file:' ) {
|
|
|
|
|
|
// If the page is not yet displayed as an iframe of the index page (navigation panel/working links),
|
|
|
// redirect to the index page (using the current URL without extension as the new fragment).
|
|
|
- // If this URL itself has a fragment, append it with a dot (since '#' in an URL fragment is not allowed).
|
|
|
+ // If this URL itself has a fragment, append it with a dot (since '#' in a URL fragment is not allowed).
|
|
|
|
|
|
let href = window.location.href;
|
|
|
const splitIndex = href.lastIndexOf( '/docs/' ) + 6;
|