Apparemment il faut faire quelque chose pour PHP jusqu'à la prochaine mise à jour de façon urgente : c'est un CVS de niveau 11.

Une solution rapide semble être possible en attendant la mise à jour.