J'ai trouvé le bogue en cause et ait soumis une patch: https://phabricator.wikimedia.org/T250760
Discussion Gestion:Tâches/Liste/138
Le bogue a été réglé! Il faudra l'appliquer à la prochaine mise à jour de MediaWiki.
Semble toujours non fonctionnel malgré la mise à jour, à débugger. Entre-temps, il est possible de sélectionner les utilisateurs en passant par Catégorie:Utilisateurs et en utilisant values_from_category.
Il n’y a aucun sujet plus ancien