syntactic php