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


Trivial merge
git clone https://git.99rst.org/PROJECT