php/php-src — pull request #532 by sskaje (2013-11-20 09:36:58+00:00)
Title: Fixed bug #66124

https://bugs.php.net/bug.php?id=66124