file (if your Web browser can be configured to start the Extension Manager for this file type).
(el navegador web puede ser configurado para que ejecute el Administrador de extensiones para este tipo de archivo).