PHP 5.5 is now stable