Effacer les plugins-dist racine lors du passage en spip 5
Soit un spip installé avec checkout spip -bv4.2.2 .
.
Lorsque l'on fait un passage à la branche de dev via checkout spip .
les plugins-dist qui étaient à la racine ne le sont plus.
Voir https://discuter.spip.net/t/perdu-dans-les-chemins-linstallation/169325
@marcimat me dit de faire un PR mais j'avoue n'avoir aucune idée de comment detecter qu'on passe de l'ancien système au nouveau (et reciproquement)...