adding specific php syntax highlighting