Diciamo che i segnali c'erano tutti, avendo fatto sparire immediatamente dalla home page la notizia del rilascio della 5.1.3 :rollo:

http://www.php.net/release_5_1_4.php