ajout de la fonction PHP pour ajouter tous les intervenants d'une discussion MediaWiki a un array