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