Merge pull request #21896 from mhei/php8-update-to-8.2.9
authorMichael Heimpold <redacted>
Fri, 25 Aug 2023 06:05:59 +0000 (08:05 +0200)
committerGitHub <redacted>
Fri, 25 Aug 2023 06:05:59 +0000 (08:05 +0200)
php8: update to 8.2.9


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