Single-line PHPDocumentor comment highlighting