Merge pull request #3685 from WoltLab/jslang 5.3.0
authorAlexander Ebert <ebert@woltlab.com>
Tue, 10 Nov 2020 13:06:52 +0000 (14:06 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Nov 2020 13:06:52 +0000 (14:06 +0100)
Use `jslang` in more places


Trivial merge