removed old php syntax file in favor of a 5.5 compatible one