Merge pull request #18823 from mhei/php8-update
authorMichael Heimpold <redacted>
Sun, 26 Jun 2022 19:49:47 +0000 (21:49 +0200)
committerGitHub <redacted>
Sun, 26 Jun 2022 19:49:47 +0000 (21:49 +0200)
php8: update to 8.1.7


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