Switching to a new PHP syntax tool