Merge pull request #14694 from mhei/php7-update
authorMichael Heimpold <[email protected]>
Tue, 9 Feb 2021 07:16:24 +0000 (08:16 +0100)
committerGitHub <[email protected]>
Tue, 9 Feb 2021 07:16:24 +0000 (08:16 +0100)
php7: update to 7.4.15


Trivial merge