Merge pull request #20075 from mhei/php8-update-8.2.0
authorMichael Heimpold <mhei@heimpold.de>
Sun, 18 Dec 2022 08:13:02 +0000 (09:13 +0100)
committerGitHub <noreply@github.com>
Sun, 18 Dec 2022 08:13:02 +0000 (09:13 +0100)
php8: update to 8.2.0


Trivial merge