Merge pull request #5108 from wigyori/for-15.05-php
authorMichael Heimpold <[email protected]>
Mon, 13 Nov 2017 19:18:55 +0000 (20:18 +0100)
committerGitHub <[email protected]>
Mon, 13 Nov 2017 19:18:55 +0000 (20:18 +0100)
CC: php: upgrade to 5.6.32
LGTM2, thanks.


Trivial merge