Explicit syntaxic highlighting for PHP