Merge pull request #17110 from thg2k/pr/19_php72_ini_1
authorMichael Heimpold <mhei@heimpold.de>
Fri, 12 Nov 2021 06:39:46 +0000 (07:39 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Nov 2021 06:39:46 +0000 (07:39 +0100)
commit1b3135bfd2bc28a57f31f96be7613d5cde48d580
tree958bd9a344d0ac6c65eab166b666b570ec607d47
parent496f50a754cffe08ca9c26d6011a825ef495d706
parent903d79b3872b1fa7f74d6e0fcb623b298f69af00
Merge pull request #17110 from thg2k/pr/19_php72_ini_1

[19.07] php7: Update and clean up distributed php7.ini