renamed "htmlcomment" to "html_comment"

erik-krogh · erik-krogh · commit 136345d745a7 · 2020-09-04T11:55:17.000+02:00
diff --git a/javascript/ql/src/semmle/javascript/Comments.qll b/javascript/ql/src/semmle/javascript/Comments.qll
@@ -65,7 +65,7 @@ class LineComment extends @linecomment, Comment { }
  * --> also an HTML line comment
  * ```
  */
-class HtmlLineComment extends @htmlcomment, LineComment { }
+class HtmlLineComment extends @html_comment, LineComment { }
 
 /**
  * An HTML comment start token interpreted as a line comment.
diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme b/javascript/ql/src/semmlecode.javascript.dbscheme
@@ -804,8 +804,8 @@ case @comment.kind of
 | 3 = @htmlcommentstart
 | 4 = @htmlcommentend;
 
-@htmlcomment = @htmlcommentstart | @htmlcommentend;
-@linecomment = @slashslashcomment | @htmlcomment;
+@html_comment = @htmlcommentstart | @htmlcommentend;
+@linecomment = @slashslashcomment | @html_comment;
 @blockcomment = @slashstarcomment | @doccomment;
 
 // source lines
