Merge pull request #16038 from mhei/php7-update
authorMichael Heimpold <redacted>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
committerGitHub <redacted>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
php7: update to 7.4.21


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