Merge pull request #15809 from mhei/php8-update
authorMichael Heimpold <redacted>
Tue, 8 Jun 2021 21:18:53 +0000 (23:18 +0200)
committerGitHub <redacted>
Tue, 8 Jun 2021 21:18:53 +0000 (23:18 +0200)
php8: update to 8.0.7


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