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


Trivial merge
git clone https://git.99rst.org/PROJECT