Merge pull request #19769 from mhei/php8-update-8.1.12
authorMichael Heimpold <redacted>
Thu, 3 Nov 2022 06:22:10 +0000 (07:22 +0100)
committerGitHub <redacted>
Thu, 3 Nov 2022 06:22:10 +0000 (07:22 +0100)
php8: update to 8.1.12


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