Merge pull request #5501 from pprindeville/issue/5488
authorMichael Heimpold <redacted>
Thu, 25 Jan 2018 20:08:48 +0000 (21:08 +0100)
committerGitHub <redacted>
Thu, 25 Jan 2018 20:08:48 +0000 (21:08 +0100)
php7: fix issue 5488


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