PHP 5.5.6 release