- Updated to version 2013.7 (2013g)
Merge branch 'PHP-5.4' into PHP-5.5
Merge branch 'PHP-5.5' of git.php.net:php-src into PHP-5.5