Merge pull request #20460 from mhei/php8-update-8.2.2
authorMichael Heimpold <mhei@heimpold.de>
Thu, 9 Feb 2023 06:35:07 +0000 (07:35 +0100)
committerGitHub <noreply@github.com>
Thu, 9 Feb 2023 06:35:07 +0000 (07:35 +0100)
php8: update to 8.2.2


Trivial merge