JavaScript: Remove a few deprecated classes.

Max Schaefer · Max Schaefer · commit 8a93c6aa65d1 · 2019-01-09T09:23:59.000Z
diff --git a/javascript/ql/src/semmle/javascript/Comments.qll b/javascript/ql/src/semmle/javascript/Comments.qll
@@ -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 { }
 
diff --git a/javascript/ql/src/semmle/javascript/HTML.qll b/javascript/ql/src/semmle/javascript/HTML.qll
@@ -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;
