From 9586b74f363e52fa9a709a09d9248ea14cb82d9c Mon Sep 17 00:00:00 2001
From: Linus Jahn <lnj@kaidan.im>
Date: Mon, 19 Aug 2024 18:33:03 +0200
Subject: [PATCH] specs: mix: Fix mix:core:1 mix_participant and drop old
 version

The mix_participant record is only used for the participants node of a
mix channel. This node cannot contain both namespaces at the same time,
thus this commit drops the old version and it also fixes the definition
of the element in mix:core:1. The attributes have been replaced with xml
elements for nick and jid.
---
 specs/xmpp_codec.spec | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/specs/xmpp_codec.spec b/specs/xmpp_codec.spec
index 6a72bdb..1ea6698 100644
--- a/specs/xmpp_codec.spec
+++ b/specs/xmpp_codec.spec
@@ -3559,17 +3559,11 @@
 
 -xml(mix_participant,
      #elem{name = <<"participant">>,
-	   xmlns = [<<"urn:xmpp:mix:core:0">>, <<"urn:xmpp:mix:core:1">>],
+	   xmlns = <<"urn:xmpp:mix:core:1">>,
 	   module = 'xep0369',
-	   result = {mix_participant, '$jid', '$nick', '$xmlns'},
-	   attrs = [#attr{name = <<"jid">>,
-			  required = true,
-			  label = '$jid',
-			  dec = {jid, decode, []},
-                          enc = {jid, encode, []}},
-		    #attr{name = <<"nick">>,
-			  label = '$nick'},
-		    #attr{name = <<"xmlns">>}]}).
+	   result = {mix_participant, '$jid', '$nick'},
+           refs = [#ref{mix_jid, min = 0, max = 1, label = '$jid'},
+                   #ref{mix_nick, min = 0, max = 1, label = '$nick'}]}).
 
 -xml(mix_create,
      #elem{name = <<"create">>,