Rilasciato PHP 5.1.2

Correzione di 85 bug e soluzione di 3 problemi di sicurezza: sono le principali novità della release 5.1.2 di PHP.