Mit dem Extension Manager können Sie %PRODUCTNAME-Extensions installieren, entfernen, deaktivieren, aktivieren, exportieren und aktualisieren.
Le Gestionnaire des extensions ajoute, supprime, désactive, active et met à jour les extensions %PRODUCTNAME.