Adopting whitespace token for different versions of php