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)
commit651bb866749ff7bccb249d21e70acfefbfe5a049
tree6877773be8548ebd06b2f86295f820441dff2290
parent1d351d6c390bc1dfd0da65e6f753181b95cd6325
parente283104d8f3b5dad32c4fdfc2a3d77b4584badc5
Merge pull request #5494 from WoltLab/domutil-types

Add proper types to DOMUtil