Merge branch 'PHP-5.4' of ssh://git.php.net/php-src into PHP-5.4
Merge branch 'PHP-5.4' into PHP-5.5