Merge pull request #15011 from mhei/php7-update
authorMichael Heimpold <[email protected]>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
committerGitHub <[email protected]>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
php7: update to 7.4.16


Trivial merge