PHP syntax highlighting