Merge pull request #22062 from mhei/php8-update-to-8.2.10
authorMichael Heimpold <mhei@heimpold.de>
Fri, 8 Sep 2023 19:32:51 +0000 (21:32 +0200)
committerGitHub <noreply@github.com>
Fri, 8 Sep 2023 19:32:51 +0000 (21:32 +0200)
php8: update to 8.2.10


Trivial merge