Un Extension Manager (ou gestionnaire d’extensions) est une application ou un outil qui permet de gérer facilement les extensions installées dans un navigateur web.
Extension Manager
Les contenus de définition restent publics. Les ressources (outils, grilles, supports) liées à cette fiche sont disponibles dans l’espace membre.