Merge pull request #24548 from mhei/php8-update-to-8.3.9
authorMichael Heimpold <mhei@heimpold.de>
Sat, 13 Jul 2024 10:15:56 +0000 (12:15 +0200)
committerGitHub <noreply@github.com>
Sat, 13 Jul 2024 10:15:56 +0000 (12:15 +0200)
php8: update to 8.3.9


Trivial merge