Fix up PHP syntax highlighting.