Bump PHP 5.4 to 5.4.25