Merge pull request #5501 from pprindeville/issue/5488
authorMichael Heimpold <mhei@heimpold.de>
Thu, 25 Jan 2018 20:08:48 +0000 (21:08 +0100)
committerGitHub <noreply@github.com>
Thu, 25 Jan 2018 20:08:48 +0000 (21:08 +0100)
commit74eecfebcc3acabd9f5a68b3d0291289ef28c3c8
tree2bfb250b3b5e3efb16316e8644a1b528e6d8a671
parent5dd0a570e6941a0dcc51aafed767141276851956
parent6230ab4437aa5e5436f50c9f0a83f5722ae14157
Merge pull request #5501 from pprindeville/issue/5488

php7: fix issue 5488