Merge pull request #15795 from mhei/php7-update
authorMichael Heimpold <redacted>
Mon, 7 Jun 2021 20:23:17 +0000 (22:23 +0200)
committerGitHub <redacted>
Mon, 7 Jun 2021 20:23:17 +0000 (22:23 +0200)
php7: update to 7.4.20


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