Merge pull request #15011 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
committerGitHub <noreply@github.com>
Sat, 6 Mar 2021 05:30:43 +0000 (06:30 +0100)
php7: update to 7.4.16


Trivial merge