Move “manifest” attribute to legacy-attributes list

validator · Nov 7, 2022 · 175e62d · 175e62d
1 parent 5eb52a9
commit 175e62d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/schema/.drivers/legacy.rnc b/schema/.drivers/legacy.rnc
@@ -1507,3 +1507,12 @@ datatypes w = "http://whattf.org/datatype-draft"
 	button.reset.attrs &= legacy.attrs.datasrc?
 	button.button.attrs &= legacy.attrs.datasrc?
 	table.attrs &= legacy.attrs.datasrc?
+
+## manifest attribute
+
+	html.attrs.manifest =
+		attribute manifest {
+			string
+		}
+
+	html.attrs &= html.attrs.manifest?
diff --git a/schema/html5/applications.rnc b/schema/html5/applications.rnc
@@ -95,15 +95,6 @@ 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 =