[php] removing a line that required PHP 5.3