Merge pull request #16756 from mhei/php7-update
authorMichael Heimpold <redacted>
Tue, 28 Sep 2021 05:39:12 +0000 (07:39 +0200)
committerGitHub <redacted>
Tue, 28 Sep 2021 05:39:12 +0000 (07:39 +0200)
php7: update to 7.4.24


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