Merge pull request #13565 from mhei/php7-update-7.4.11
authorMichael Heimpold <mhei@heimpold.de>
Sat, 3 Oct 2020 21:18:16 +0000 (23:18 +0200)
committerGitHub <noreply@github.com>
Sat, 3 Oct 2020 21:18:16 +0000 (23:18 +0200)
php7: update to 7.4.11


Trivial merge