Actuellement ils sont déclarés en dur, par sécurité : https://git.spip.net/spip-contrib-extensions/adminer/-/blob/master/index.php?ref_type=heads#L116 Comment on pourrait faire pour pouvoir y ajouter les siens ? Je pensais à un pipeline qui passerait le tableau des noms des 3 plugins de base, qu'on pourrait compléter, genre `$flux['data'][] = 'AdminerTablesFilter';` Qu'en pensez vous ?