Report a better error message for obsolete “manifest” attribute

sideshowbarker · sideshowbarker · commit ae924b625f5c · 2022-11-05T15:39:51.000+09:00
diff --git a/schema/html5/applications.rnc b/schema/html5/applications.rnc
@@ -95,6 +95,15 @@ datatypes w = "http://whattf.org/datatype-draft"
 			)
 		}
 
+## obsolete “manifest” attribute (non-conforming; see assertions for error)
+
+	html.attrs.manifest =
+		attribute manifest {
+			text
+		}
+		
+	html.attrs &= html.attrs.manifest?
+
 ## Progess Indicator: <progress>
 
 	progress.elem =
diff --git a/src/nu/validator/checker/schematronequiv/Assertions.java b/src/nu/validator/checker/schematronequiv/Assertions.java
@@ -2000,6 +2000,9 @@ public void startElement(String uri, String localName, String name,
                                     + " \u201Cautofocus\u201D attribute.");
                         }
                         hasAutofocus = true;
+                    } else if ("manifest" == attLocal && "html" == localName) {
+                        err("The manifest-based application-cache feature is"
+                                + " obsolete. Use service workers instead.");
                     }
                 } else if ("http://www.w3.org/XML/1998/namespace" == attUri) {
                     if ("lang" == atts.getLocalName(i)) {

Original file line number	Diff line number	Diff line change
`@@ -95,6 +95,15 @@ datatypes w = "http://whattf.org/datatype-draft"`
`95`	`95`	`)`
`96`	`96`	`}`
`97`	`97`
	`98`	`+## obsolete “manifest” attribute (non-conforming; see assertions for error)`
	`99`	`+`
	`100`	`+ html.attrs.manifest =`
	`101`	`+ attribute manifest {`
	`102`	`+ text`
	`103`	`+ }`
	`104`	`+`
	`105`	`+ html.attrs &= html.attrs.manifest?`
	`106`	`+`
`98`	`107`	`## Progess Indicator: <progress>`
`99`	`108`
`100`	`109`	`progress.elem =`
Original file line number	Diff line number	Diff line change
`@@ -2000,6 +2000,9 @@ public void startElement(String uri, String localName, String name,`
`2000`	`2000`	`+ " \u201Cautofocus\u201D attribute.");`
`2001`	`2001`	`}`
`2002`	`2002`	`hasAutofocus = true;`
	`2003`	`+ } else if ("manifest" == attLocal && "html" == localName) {`
	`2004`	`+ err("The manifest-based application-cache feature is"`
	`2005`	`+ + " obsolete. Use service workers instead.");`
`2003`	`2006`	`}`
`2004`	`2007`	`} else if ("http://www.w3.org/XML/1998/namespace" == attUri) {`
`2005`	`2008`	`if ("lang" == atts.getLocalName(i)) {`