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


Trivial merge