Reverted addition of PHP 5.5