added PHP 5.5