fix php highlighting