Mettre en valeur les plugins fournis par Dotclear

[Moe]

Dans la liste des plugins, les plugins "par défaut" et les autres sont mélangés, il est difficile de faire la distinction. Je suggère de mettre une couleur de fond différente aux plugins par défaut ou de séparer en 2 listes : "par défaut" et "additionnels".

Visiblement, on ne peut supprimer que les plugins installés dans le dernier répertoire des extensions déclaré dans DC_PLUGINS_ROOT. C'est intéressant de ne pas supprimer les plugins par défaut mais de les désactiver seulement pour ne pas casser la mise à jour. Mais si on a 3 répertoires de plugins, ceux du répertoire "n°2" ne peuvent être supprimés depuis l'administration.

[noe]

D’un autre côté, on peut raisonnablement penser que quelqu’un qui a trois répertoires de plugins sait ce qu’il fait : c’est un cas « hors documentation » :-)

L’idée d’un marquage spécifique des plugins par défaut semble effectivement à creuser, et, du coup, je me demande si on est sur le bon component. Je reclasse ;-)

[franck <carnet.franck.paul@…>]

(In [49b29651bbd3]) Official plugins are now identified in extension's list, fixes #1052

[franck]

Pour l'instant réglé avec une liste statique des plugins officiels, faudra éventuellement trouver un moyen de les identifier de manière plus élégante (attribut supplémentaire dans le _define.php ?)