Bump PHP-5.4.23.