# HG changeset patch # User Claire MOULS # Date 1432049105 -7200 # Node ID f1916927726757d7d6dfcce8d319b050b85f5a97 # Parent 3d4afb50a14334f420b783945c9e8d61ba8470f0 Ajout de l'attribut 'shuffle' diff -r 3d4afb50a143 -r f19169277267 RelaxNG/publiquiz.rnc --- 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?,