Emit error (not warning) for HTML4/XHTML1 doctype

sideshowbarker · hsivonen · commit 7f2a1448f792 · 2020-08-04T10:18:34.000+03:00
Since 2594493 HTML4/XHTML1 doctypes have caused the warning `Obsolete doctype. Expected <!DOCTYPE html>`. This change makes that message an error rather than just a warning — bringing the parser into conformance with whatwg/html@31c20af (whatwg/html#2049).
diff --git a/src/nu/validator/htmlparser/impl/TreeBuilder.java b/src/nu/validator/htmlparser/impl/TreeBuilder.java
@@ -768,7 +768,7 @@ public final void doctype(@Local String name, String publicIdentifier,
                                 systemIdentifier))
 
                 ) {
-                    warn("Obsolete doctype. Expected \u201C<!DOCTYPE html>\u201D.");
+                    err("Obsolete doctype. Expected \u201C<!DOCTYPE html>\u201D.");
                 } else if (!((systemIdentifier == null || Portability.literalEqualsString(
                         "about:legacy-compat", systemIdentifier)) && publicIdentifier == null)) {
                     err("Legacy doctype. Expected \u201C<!DOCTYPE html>\u201D.");
