Merge branch 'pprindeville-php7-update-7.2.0' (closes #5301)
authorMichael Heimpold <mhei@heimpold.de>
Thu, 28 Dec 2017 21:06:47 +0000 (22:06 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Thu, 28 Dec 2017 21:06:47 +0000 (22:06 +0100)
commit065172d7b180f7c69708817408a1940199531f58
treefebc8c1722427ffffc5101f07f164b2b824baddf
parented58b21e8c84e9ae5f0d3045f3e56cfc3b7d3c71
parent97305e41b61796869c1bd208d7532e0dc5e06fc0
Merge branch 'pprindeville-php7-update-7.2.0' (closes #5301)

Signed-off-by: Michael Heimpold <mhei@heimpold.de>