Fix php syntax for older versions of php5.