Fixing problem with PHP syntax highlighting.