[SPIP Dev] Plugins-dist et dépendan ces

Bonjour,

En SPIP 3.1.1, lorsqu'on met en plugin maison (Plugin A) dans plugins-dist,
il n'est pas désactivable. Cool, c'est le fonctionnement de base attendu.

Mais lorsque ce même plugin nécessite un plugin (Plugin B) qui est dans
plugins/ et pas dans plugins-dist/, lorsqu'on désactive le plugin B, le
plugin A est désactivé… Et cela crée une erreur, forcément.

Pour moi, il y a une incohérence. Si le plugin A qui est dans plugins-dist/
et nécessite le plugin B dans plugins/, le plugin B ne doit pas être
désactivable.
Oui, je pourrais mettre le plugin B dans plugins-dist/ aussi. Mais là,
n'est pas le soucis initial.

Est-ce que quelqu'un a déjà rencontré ce comportement ?

Amicalement,

Ybbet.