Merge pull request #18631 from mhei/php8-update
authorMichael Heimpold <redacted>
Mon, 30 May 2022 21:07:33 +0000 (23:07 +0200)
committerGitHub <redacted>
Mon, 30 May 2022 21:07:33 +0000 (23:07 +0200)
php8: update to 8.1.6


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