Página 3 de 7
Gestor de extensiones
El gestor de extensiones le permite instalar, actualizar, desinstalar y gestionar todas sus extensiones. El gestor de extensiones ha sido extensamente rediseñado, mientras que las funcionalidades del instalador y desinstalador del núcleo siguen recordando al mismo que se usaba en la versión 1.5. Ayuda
