Merge pull request #5502 from pprindeville/issue/5488.bis
authorMichael Heimpold <redacted>
Fri, 26 Jan 2018 06:21:16 +0000 (07:21 +0100)
committerGitHub <redacted>
Fri, 26 Jan 2018 06:21:16 +0000 (07:21 +0100)
commit62a9b247a0c22af40c71dbb8818a827285725d17
tree6ce8ecdf560875cf977c8bcf9a94a4bc6261962e
parent74eecfebcc3acabd9f5a68b3d0291289ef28c3c8
parente1a4178de140986574bb58755a2e7ab3f0bc749b
Merge pull request #5502 from pprindeville/issue/5488.bis

php7: redux of fix for issue #5488
git clone https://git.99rst.org/PROJECT