Merge pull request #12232 from deeky666/php-5.5.31
php: 5.5.30 -> 5.5.31
Eelco Dolstra 10 years ago aa73be36 09deb685