RelaxNG/publiquiz.rnc
changeset 379 f19169277267
parent 376 1434bae63b20
child 380 17e61e935b8b
--- a/RelaxNG/publiquiz.rnc	mer. mai 06 12:18:25 2015 +0200
+++ b/RelaxNG/publiquiz.rnc	mar. mai 19 17:25:05 2015 +0200
@@ -144,6 +144,7 @@
 blanks-select.attributes =
    success.attribute?
  & multiple.attribute?
+ & shuffle.attribute?
 strict.attribute = attribute strict { xsd:boolean }
 multiple.attribute = attribute multiple { xsd:boolean }
 
@@ -251,6 +252,7 @@
 categories.attributes =
    success.attribute?
  & multiple.attribute?
+ & shuffle.attribute?
 
 categories.content =
    categories.intruders?,