fixed php highlighting