Hi,

a new version of php has been released. Here is a patch to update it.