Update PHP syntax file.