php/php-src — pull request #149 by smalyshev (2012-08-06 03:17:14+00:00)
Title: Improved fix for bug #54254

Improve version of https://github.com/php/php-src/pull/128