Merge pull request #4258 from WoltLab/userAgent-final
authorJoshua Rüsweg <ruesweg@woltlab.com>
Fri, 4 Jun 2021 12:59:44 +0000 (14:59 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Jun 2021 12:59:44 +0000 (14:59 +0200)
Mark `\wcf\util\UserAgent` as final


Trivial merge