Merge branch 'pprindeville-php7-update-7.2.0' (closes #5301)
authorMichael Heimpold <redacted>
Thu, 28 Dec 2017 21:06:47 +0000 (22:06 +0100)
committerMichael Heimpold <redacted>
Thu, 28 Dec 2017 21:06:47 +0000 (22:06 +0100)
Signed-off-by: Michael Heimpold <redacted>

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