fix: ne cocher que les plugins visibles
Dans la liste des plugins, les boutons « tout cocher » et « tout décocher » ne cochent que les items visibles, pas ceux éventuellement masqués au moyen du filtre.
Fix #4854 (closed)
Nb : j'ai fait un tout petit peu de nettoyage parceque le js était devenu bordélique au fil du temps, donc diff moins lisible.
Mais à la base le fix est très simple : les items masqués par le truc de filtrage ont un nouvel attribut hidden, et les trucs pour tout cocher/décocher ne ciblent que ceux qui n'ont pas cet attribut.
Nb2 : il faudrait aussi le faire pour le truc qui coche les plugins qu'on peut mettre à jour, mais c'est plus compliqué, donc à voir plus tard.