mirror of
https://github.com/github/codeql.git
synced 2025-12-22 03:36:30 +01:00
renamed "htmlcommentstart" to "html_comment_start"
This commit is contained in:
@@ -801,10 +801,10 @@ case @comment.kind of
|
||||
0 = @slashslashcomment
|
||||
| 1 = @slashstarcomment
|
||||
| 2 = @doccomment
|
||||
| 3 = @htmlcommentstart
|
||||
| 3 = @html_comment_start
|
||||
| 4 = @htmlcommentend;
|
||||
|
||||
@html_comment = @htmlcommentstart | @htmlcommentend;
|
||||
@html_comment = @html_comment_start | @htmlcommentend;
|
||||
@line_comment = @slashslashcomment | @html_comment;
|
||||
@block_comment = @slashstarcomment | @doccomment;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user