From 6390caf8fed128f0d2cec40ad413787e44b93325 Mon Sep 17 00:00:00 2001
From: kangax <kangax@gmail.com>
Date: Sat, 11 May 2013 15:12:41 -0400
Subject: [PATCH] Menu is no longer deprecated in HTML5. Closes #23

---
 src/htmllint.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/htmllint.js b/src/htmllint.js
index 3277d68..8f13100 100644
--- 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);
-- 
2.34.1