Merge pull request #16248 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Sat, 31 Jul 2021 07:11:29 +0000 (09:11 +0200)
committerGitHub <noreply@github.com>
Sat, 31 Jul 2021 07:11:29 +0000 (09:11 +0200)
php7: update to 7.4.22


Trivial merge