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.elem =