PHP 5.5.2 has already branched