php/php-src — pull request #126 by smalyshev (2012-07-11 05:32:11+00:00)
Title: Bug18556

Proposed fix for bug #18556