PHP 5.4.25

Update to PHP 5.4.25