allowed <code> in <pre> (oops)

2017-03-29 11:31:12 +02:00
parent d6c998b797
commit 3f1efca457
1 changed files with 1 additions and 1 deletions
--- a/xml/dtd/common.xsd
+++ b/xml/dtd/common.xsd
@@ -316,7 +316,7 @@
  <xs:element name="pre">
    <xs:complexType mixed="true">
      <xs:choice>
-        <xs:group ref="inline-except-code"/>
+        <xs:group ref="inline-all"/>
        <xs:group ref="placeholders"/>
      </xs:choice>
    </xs:complexType>