php 5.1.2

Rilasciato php 5.1.2: the PHP development team is proud to announce the release of PHP 5.1.2. This release combines small feature enhancements with a fair numbe...