Merge pull request #20246 from mhei/php8-update-8.2.1
authorMichael Heimpold <mhei@heimpold.de>
Mon, 9 Jan 2023 19:44:09 +0000 (20:44 +0100)
committerGitHub <noreply@github.com>
Mon, 9 Jan 2023 19:44:09 +0000 (20:44 +0100)
php8: update to 8.2.1


Trivial merge