Merge pull request #5592 from WoltLab/numberformat-php
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 24 Jul 2023 14:52:54 +0000 (16:52 +0200)
committerGitHub <noreply@github.com>
Mon, 24 Jul 2023 14:52:54 +0000 (16:52 +0200)
Fix number formatting in StringUtil


Trivial merge