TIL a new piece of php syntax