Merge pull request #16991 from mhei/21.02-php7-update
authorMichael Heimpold <mhei@heimpold.de>
Wed, 27 Oct 2021 07:44:57 +0000 (09:44 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 07:44:57 +0000 (09:44 +0200)
[21.02] php7: update to 7.4.25


Trivial merge