Merge pull request #375 from WoltLab/time-function
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 5 May 2023 11:38:28 +0000 (13:38 +0200)
committerGitHub <noreply@github.com>
Fri, 5 May 2023 11:38:28 +0000 (13:38 +0200)
Document `{time}`


Trivial merge