Add up-to-date PHP syntax file