Mit dem Extension Manager können Sie %PRODUCTNAME-Extensions installieren, entfernen, deaktivieren, aktivieren, exportieren und aktualisieren.
El Administrador de extensiones agrega, quita, habilita, inhabilita y actualiza extensiones de %PRODUCTNAME.