hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Remove a few deprecated classes.

Browse Source
This commit is contained in:
Max Schaefer
2019-01-08 13:16:58 +00:00
parent 5d1d94ebf1
commit 8a93c6aa65
2 changed files with 0 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
javascript/ql/src/semmle/javascript/Comments.qll
View File

@@ -44,15 +44,6 @@ class HtmlCommentStart extends @htmlcommentstart, HtmlLineComment { }
/** An HTML comment end token interpreted as a line comment. */
class HtmlCommentEnd extends @htmlcommentend, HtmlLineComment { }
/** DERECATED: Use `HtmlLineComment` instead. */
deprecated class HTMLComment = HtmlLineComment;
/** DERECATED: Use `HtmlCommentStart` instead. */
deprecated class HTMLCommentStart = HtmlCommentStart;
/** DERECATED: Use `HtmlCommentEnd` instead. */
deprecated class HTMLCommentEnd = HtmlCommentEnd;
/** A `//` comment. */
class SlashSlashComment extends @slashslashcomment, LineComment { }

18
javascript/ql/src/semmle/javascript/HTML.qll
View File

@@ -233,21 +233,3 @@ module HTML {
override Location getLocation() { xmllocations(this, result) }
}
}
/** DEPRECATED: Use `HTML::HtmlFile` instead. */
deprecated class HTMLFile = HTML::HtmlFile;
/** DEPRECATED: Use `HTML::Element` instead. */
deprecated class HTMLElement = HTML::Element;
/** DEPRECATED: Use `HTML::Attribute` instead. */
deprecated class HTMLAttribute = HTML::Attribute;
/** DEPRECATED: Use `HTML::DocumentElement` instead. */
deprecated class HtmlDocumentElement = HTML::DocumentElement;
/** DEPRECATED: Use `HTML::ScriptElement` instead. */
deprecated class HtmlScriptElement = HTML::ScriptElement;
/** DEPRECATED: Use `HTML::TextNode` instead. */
deprecated class HtmlText = HTML::TextNode;