add PHP 5.5