Lister aussi les plugins du dossier dist rajoutés en plus de ceux de SPIP

Bonjour,

J'ai une installation de SPIP où plein de plugins sont ajoutés à plugins-dist en plus de ceux de SPIP.

J'ai un patch qui permet de les afficher.