Merge pull request #15552 from mhei/php7-update
authorMichael Heimpold <redacted>
Sat, 8 May 2021 21:11:22 +0000 (23:11 +0200)
committerGitHub <redacted>
Sat, 8 May 2021 21:11:22 +0000 (23:11 +0200)
php7: update to 7.4.18


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