-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
- Loading branch information
There are no files selected for viewing
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
This file was deleted.
This file was deleted.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
This file was deleted.
This file was deleted.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
<!DOCTYPE html> | ||
<html> | ||
<head> | ||
<meta charset="utf-8" /> | ||
<title>Redirecting</title> | ||
<noscript> | ||
<meta http-equiv="refresh" content="1; url=latest/" /> | ||
</noscript> | ||
<script> | ||
function addAsFirstPathOfUrl(url, firstSectionOfPath) { | ||
const urlObj = new URL(url); | ||
const pathSections = urlObj.pathname | ||
.split("/") | ||
.filter((elm) => elm); | ||
pathSections.unshift(firstSectionOfPath); | ||
urlObj.pathname = "/" + pathSections.join("/"); | ||
return urlObj.toString(); | ||
} | ||
window.location.replace( | ||
addAsFirstPathOfUrl(window.location.href, "latest") | ||
); | ||
</script> | ||
</head> | ||
<body> | ||
Redirecting to <a href="/latest">/latest</a>... | ||
</body> | ||
</html> |