Added db.common.extension.attributes pattern for easier extensibility of common attri...

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index be39e876a3b7fd660ce5a6e07527996d7520c9d4..b19d76670e990cc2c2fa663c9a2dcf31c17e3c98 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -335,6 +335,8 @@ db.dir.attribute =
    ]
    attribute dir { db.dir.enumeration }
 
+db.common.extension.attributes = empty
+
 db.common.attributes =
    db.xml.id.attribute?
  & db.version.attribute?
@@ -345,6 +347,7 @@ db.common.attributes =
  & db.revisionflag.attribute?
  & db.dir.attribute?
  & db.effectivity.attributes
+ & db.common.extension.attributes
 
 db.common.idreq.attributes =
    db.xml.id.attribute
@@ -356,6 +359,7 @@ db.common.idreq.attributes =
  & db.revisionflag.attribute?
  & db.dir.attribute?
  & db.effectivity.attributes
+ & db.common.extension.attributes
 
 db.common.linking.attributes =
    (db.linkend.attribute | db.href.attributes)?