Fix more PHP 5.3 syntax