Fix php strings not needed, and new JSON highlighting regexp