php syntax highlight and format