feat: Améliorer le filtrage des plugins
Introduit une ligne de filtres et d’actions en entête de la liste des plugins
- tout cocher (les plugins visibles)
- tout décocher (les plugins visibles)
- filtrer
- par texte
- afficher (par type):
- tous les plugins,
- les plugins cochés,
- les plugins ayant des mises à jour…
- les plugins en compat forcée,
- les plugins incompatibles
Refs: #4898 #4695
Chargement en cours