Merge pull request #19321 from mhei/php8-update-8.1.10
authorMichael Heimpold <redacted>
Wed, 7 Sep 2022 19:53:33 +0000 (21:53 +0200)
committerGitHub <redacted>
Wed, 7 Sep 2022 19:53:33 +0000 (21:53 +0200)
php8: update to 8.1.10


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