Merge branch ‘develop’ #10

Merged
6543 merged 19 commits from develop into master 2019-07-14 01:29:25 +00:00
1 changed files with 13 additions and 0 deletions
Showing only changes of commit 7f5457f380 - Show all commits

View File

@ -0,0 +1,13 @@
{{ $seconds := .Get 0 }}
{{ $ms := ( printf "%s%s" $seconds "000" )}}
<script>
function Sleep(milliseconds) {
return new Promise(resolve => setTimeout(resolve, milliseconds));
}

async function reload(){
await Sleep({{ $ms }});
location.reload();
}
reload();
</script>