Merge pull request #2157 from avsej/php-5.5.37