Add php highlighting.