Merge pull request #22062 from mhei/php8-update-to-8.2.10
authorMichael Heimpold <[email protected]>
Fri, 8 Sep 2023 19:32:51 +0000 (21:32 +0200)
committerGitHub <[email protected]>
Fri, 8 Sep 2023 19:32:51 +0000 (21:32 +0200)
php8: update to 8.2.10


Trivial merge