Testing php highlighting