Update PHP to 5.4.13

Update PHP to version 5.4.13