add the legacy redirection tool

This commit is contained in:
Mirek Kratochvil 2023-06-18 18:05:49 +02:00
parent 6deeb8be82
commit b0c445a6eb

View file

@ -1,6 +1,17 @@
<html>
{{> head.html}}
<body>
<script>
// legacy querystring-based shortcut redirection (if you use this anywhere,
// please try to avoid it; just removing the ? from the URL is a good way to
// migrate.)
var shortcut_link = window.location.search
if(shortcut_link.length > 0 && shortcut_link[0]==='?') {
setTimeout(function() {
window.location.replace("{{root}}"+shortcut_link.substring(1))
}, 1);
}
</script>
{{> header.html}}
{{> searchform.html}}
{{> bigcards.html}}