php/php-src — pull request #381 by patrickallaert (2013-07-09 13:06:17+00:00)
Title: Fixed #65225: PHP_BINARY incorrectly set

PR fixes: https://bugs.php.net/65225