PHP 5.5.37 is released