Merge pull request #10628 from BKPepe/php7
authorMichael Heimpold <redacted>
Sun, 24 Nov 2019 20:48:07 +0000 (21:48 +0100)
committerGitHub <redacted>
Sun, 24 Nov 2019 20:48:07 +0000 (21:48 +0100)
php7: Update to version 7.2.25


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