PHPLint: fix syntax highlighting.