Merge pull request #16587 from mhei/php7-fix-14623
authorMichael Heimpold <mhei@heimpold.de>
Tue, 14 Sep 2021 19:23:42 +0000 (21:23 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 19:23:42 +0000 (21:23 +0200)
commit841b7d15ac18787ec5f902fa76348f5cb69abbf4
tree4c36a6f4d28f51c827334964f2e9f42b3e5ac54a
parentb8ef617993506c4c92895a942bf40aa404215fb6
parente51a04930153dad8f7bf74fbde4cfd8e8bd4d0f8
Merge pull request #16587 from mhei/php7-fix-14623

php7: fix config file upgrade issue (fixes #14623)