Hi,

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