Merge pull request #5494 from WoltLab/domutil-types
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 8 May 2023 12:29:21 +0000 (14:29 +0200)
committerGitHub <noreply@github.com>
Mon, 8 May 2023 12:29:21 +0000 (14:29 +0200)
Add proper types to DOMUtil


Trivial merge