PHP 5.5 beta4 announcement