Pouvoir instancier ses propres plugins
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 ?