HTMLLexer: conditional comments

[HubertKauker]

Hi all.

HTMLLexer.g4 contains a rule HTML_CONDITIONAL_COMMENT: '<![' .*? ']>'; . The standard does not "officially" use a term such as a "conditional comment". Other sources of wisdom like Wikipedia know that conditional html comments were invented by Microsoft Internet Explorer and come in two kinds.

A hidden comment: <!--[ .*? ]--> is just a special case of a normal html comment with additional brackets.

On the other hand, Microsoft invented "revealed" (pseudo-)comments, which are not comments at all, but just plain invalid html like

<![if !IE]>
    <link href="non-ie.css" rel="stylesheet">
<![endif]>

Is it ok that such syntax is part of the lexer?