Merge pull request #16508 from mhei/php7-update
authorMichael Heimpold <mhei@heimpold.de>
Wed, 1 Sep 2021 05:51:07 +0000 (07:51 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Sep 2021 05:51:07 +0000 (07:51 +0200)
php7: update to 7.4.23


Trivial merge