Merge pull request #21550 from mhei/php8-update-to-8.2.8
authorMichael Heimpold <mhei@heimpold.de>
Thu, 13 Jul 2023 16:14:41 +0000 (18:14 +0200)
committerGitHub <noreply@github.com>
Thu, 13 Jul 2023 16:14:41 +0000 (18:14 +0200)
php8: update to 8.2.8


Trivial merge