Merge pull request #13628 from mhei/php7-test
authorMichael Heimpold <redacted>
Thu, 10 Dec 2020 14:14:56 +0000 (15:14 +0100)
committerGitHub <redacted>
Thu, 10 Dec 2020 14:14:56 +0000 (15:14 +0100)
php7: add CI test script


Trivial merge
git clone https://git.99rst.org/PROJECT