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)
commitd5699ae29212fcd2cf12141c4428d9c3c556f74e
tree4e79c8c539fa11d80e31570bb079cf79d98cdc3c
parentc6a8853c0d31541899db4e3b4a75092db3bbee54
parent9bc48abd2ae6e23907d2ccb07bdaed1b6345da64
Merge pull request #10628 from BKPepe/php7

php7: Update to version 7.2.25
git clone https://git.99rst.org/PROJECT