[spip]sur 3.1 : On intègre plugins-dist.json pour lister les plugins-dist.

spip/spip
-
Par Matthieu Marcillaud, le 28 septembre 2020 à 01h06min :

On intègre plugins-dist.json pour lister les plugins-dist. Report de 7306ba9a sans bigup, archiviste, aide.

*Ajouté*
    plugins-dist.json

Détails : https://git.spip.net/spip/spip/commit/66735047f1694f32e263e557b30d668da03381ba