PHP 5.3.25 NEWS
Merge branch 'PHP-5.3' into PHP-5.4