Merge pull request #13628 from mhei/php7-test
authorMichael Heimpold <mhei@heimpold.de>
Thu, 10 Dec 2020 14:14:56 +0000 (15:14 +0100)
committerGitHub <noreply@github.com>
Thu, 10 Dec 2020 14:14:56 +0000 (15:14 +0100)
commit9279a206e993054abba3a81c77fd57c2d934a18e
tree25759e2413b77e3651766c90c03346704d0979b5
parentf86acf1e1a3dd3a37886107cabf6f51e8a6c30a8
parent1054d4cd1781ef1ee2bdcdc013512d85d46b95ee
Merge pull request #13628 from mhei/php7-test

php7: add CI test script