Merge pull request #20246 from mhei/php8-update-8.2.1
authorMichael Heimpold <[email protected]>
Mon, 9 Jan 2023 19:44:09 +0000 (20:44 +0100)
committerGitHub <[email protected]>
Mon, 9 Jan 2023 19:44:09 +0000 (20:44 +0100)
php8: update to 8.2.1


Trivial merge