Merge pull request #16958 from mhei/php7-update
authorMichael Heimpold <redacted>
Sat, 23 Oct 2021 10:54:22 +0000 (12:54 +0200)
committerGitHub <redacted>
Sat, 23 Oct 2021 10:54:22 +0000 (12:54 +0200)
php7: update to 7.4.25


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