J'ai mis en place Mediawiki 1.15.1 pour un client qui a ajouté deux utilisateurs par erreur. Ils veulent maintenant cacher ces utilisateurs de la liste des utilisateurs.MediaWiki: comment cacher les utilisateurs de la liste des utilisateurs?
Il semble que cela se fait via le tableau $wgGroupPermissions avec $wgGroupPermissions['suppress']['hideuser'] = true;, mais il est pas du tout clair que l'entrée pour ce besoin de travailler la dissimulation, ou si un nouveau groupe (« caché » ou autre) doit être créé d'abord avec $wgAddGroups['bureaucrat'] = true;. Pour l'instant, j'ai ajouté les deux utilisateurs à masquer au groupe 'Supervision' qui explique 'Bloquer un nom d'utilisateur, en le masquant du public (hideuser)', mais ils apparaissent toujours sur la page Special: ListUsers .
à une perte sur la façon dont les tableaux MediWiki modifient les options affichées dans l'interface, jusqu'à présent je l'ai ajouté à son LocalSettings.php:
$wgGroupPermissions['suppress']['hideuser'] = true;
$wgAddGroups['supress'] = true;
Ou - car ils ont pas vraiment quoi que ce soit ajouté au wiki - pourraient-ils simplement être retirés de la table des utilisateurs de MySQL - bien que MediaWiki les met en garde contre cela?
Est-ce que quelqu'un d'autre l'a fait avec succès?
Mise à jour - c'est un trou dans l'admin de MediaWiki (bien qu'il existe des solutions de contournement). Voir this thread on MediaWIki Users et la note à la réponse ci-dessous.
Je l'ai vu, mais tentais d'éviter le travail supplémentaire. Pas d'autre chemin? –
Hoggwild sur le forum 'mwusers' de Mediawiki a répondu avec un nouveau script - après avoir posté les seules options disponibles et réalisé que cette fonction n'est pas facilement disponible (disons que vous créez un nouvel utilisateur qui veut ensuite sortir). Voir: http://www.mwusers.com/forums/showthread.php?14399-Hiding-a-user-from-the-users-list-or-deleting-them&p=47785 –