devtools/htmlparser.py
changeset 8972 771337c3a754
parent 8951 5cfc0387d63f
child 8973 6711f78c18be
--- a/devtools/htmlparser.py	Mon May 06 17:26:16 2013 +0200
+++ b/devtools/htmlparser.py	Mon May 06 16:05:51 2013 +0200
@@ -278,4 +278,8 @@
                     continue
         return False
 
-VALMAP = {None: None, 'dtd': DTDValidator, 'xml': SaxOnlyValidator}
+VALMAP = {None: None,
+          'dtd': DTDValidator,
+          'xml': XMLValidator,
+          'html': HTMLValidator,
+          }