@Pinturicchio à mon avis la meilleure façon de patcher php, c'est rm -rf *

il y'a 8 mois