Better php syntax highlight