Autorisation plus forte

Il y a une autorisation pour afficher ou non adminer dans le menu (autoriser_adminer_menu_dist) mais pas vraiment de moyen de filtrer l'accès par une autorisation plus personnelle.

Dans index.php on ne teste que webmestre :
https://git.spip.net/spip-contrib-extensions/adminer/-/blob/master/index.php?ref_type=heads#L16

Sur un site avec plusieurs webmestres, ça ne permet pas de limiter vraiment l'accès.

Je propose l'ajout d'une autorisation, des avis là dessus ?