Merge pull request #16038 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Jul 2021 18:58:41 +0000 (20:58 +0200)
php7: update to 7.4.21


Trivial merge