From 175e62d3a031f0ce18b0d049289786dd3a7fe1de Mon Sep 17 00:00:00 2001
From: "Michael[tm] Smith" <mike@w3.org>
Date: Mon, 7 Nov 2022 18:38:52 +0900
Subject: [PATCH] =?UTF-8?q?Move=20=E2=80=9Cmanifest=E2=80=9D=20attribute?=
 =?UTF-8?q?=20to=20legacy-attributes=20list?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 schema/.drivers/legacy.rnc    | 9 +++++++++
 schema/html5/applications.rnc | 9 ---------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/schema/.drivers/legacy.rnc b/schema/.drivers/legacy.rnc
index 1e75963bb..702851e34 100644
--- 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
index b8c4cfd00..1b6fe29c5 100644
--- 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 =