add some php specific hilights