Étiquettegestion des plugins

Affi­cher les infor­ma­tions rela­tives aux extensions/​thèmes du dépôt offi­ciel

Ran­ger les exten­sions que vous n’utilisez pas en conti­nu

Une recherche de plu­gins plus convi­viale

Activez/​désactivez rapi­de­ment une liste de plu­gins