Menu is no longer deprecated in HTML5. Closes #23

diff --git a/src/htmllint.js b/src/htmllint.js
index 3277d68..8f13100 100644 (file)
--- a/src/htmllint.js
+++ b/src/htmllint.js
@@ -12,7 +12,7 @@
     return (/^(?:b|i|big|small|hr|blink|marquee)$/).test(tag);
   }
   function isDeprecatedElement(tag) {
-    return (/^(?:applet|basefont|center|dir|font|isindex|menu|s|strike|u)$/).test(tag);
+    return (/^(?:applet|basefont|center|dir|font|isindex|s|strike|u)$/).test(tag);
   }
   function isEventAttribute(attrName) {
     return (/^on[a-z]+/).test(attrName);