Mozilla Firefox comme tout navigateur internet moderne permet d‘installer et ajouter des extensions.
Les modules complémentaires étant des programmes qui se greffent au navigateur WEB pour apporter de nouvelles fonctionnalités.
Ce tutoriel vous guide pour gérer les extensions sur Mozilla Firefox.
Comment installer de nouvelles extensions, les mettre à jour mais aussi les supprimer ou les désactiver.
Table des matières
Introduction aux extensions
Mozilla Firefox vous permet d’installer trois types de modules complémentaires :
- Extension comme expliqué pour étendre ou modifier les fonctionnalités du navigateur internet
- Plugins qui permet à une application installée dans l’OS d’interagir dans le navigateur internet
- Thèmes pour personnaliser l’apparence du navigateur internet
Pour comprendre la différence, lire cet article :
Ajouter, supprimer des extensions sur Mozilla Firefox
Ajouter une extension depuis Mozilla Firefox Add-ons
Dans cette première méthode on peut installer une extension depuis Mozilla Firefox Add-on.
Ce dernier est une bibliothèque avec l’ensemble des modules complémentaires disponibles pour le navigateur internet.
- Ouvrez Mozilla Firefox
- Puis cliquez sur le menu en haut à droite puis Extensions. Vous pouvez aussi utiliser les raccourcis clavier CTRL+MAJ+A
- Vous arrivez sur les pages de gestion des modules about:addons, on vous propose alors des extensions recommandées
- Sinon descendez tout en bas puis cliquez sur Découvrir davantage de modules
- Vous arrivez sur Firefox Browser Add-ons, la bibliothèque pour télécharger les extensions ou thèmes
- Cliquez en haut sur le menu Extensions
- Les catégories d’extension s’affichent et en haut à droite, un moteur de recherche est disponible
- Ensuite cliquez sur l’extension pour ouvrir la fiche, puis sur le bouton bleu Ajouter Firefox pour l’installer
- Firefox affiche les permissions requises par l’extension. Si cela vous convient, confirmez en cliquant sur Ajouter
- Puis l’icône s’ajoute dans la zone des extensions et une popup s’affiche pour vous indiquer que l’extension a bien été ajoutée, cliquez sur OK.
Plus de détails pour installer des extensions sur d’autres navigateurs internet : Comment installer ou supprimer des extensions sur Chrome, Firefox, Brave, Opera ou Edge
Ajouter une extension depuis un fichier
- Téléchargez le fichier XPI
- Puis cliquez sur le menu en haut à droite puis Extensions
- Cliquez à gauche sur le menu Extensions
- Puis sur l’icône roue crantée
- Dans le menu déroulant, cliquez sur Installer un module depuis un fichier
- Naviguez dans vos disques et dossiers pour sélectionner le fichier XPI
- Puis les autorisations requises par l’extension s’affichent, cliquez sur Ajouter pour continuer
- L’icône s’ajoute dans la zone des extensions puis cliquez sur OK sur terminer l’installation
Bravo, l’extension est installée.
Ntoez qu’il est possible, pour aller plus vite de faire un drag & drop du fichier dans Firefox.
Pour cela :
- Ouvrez le dossier contenant le fichier XPI
- Ouvrez Firefox à côté
- Cliquez avec le bouton gauche sur le fichier XPI et laissez appuyez sur le bouton gauche
- Déplacez la souris dans la fenêtre de Firefox et relâcher le bouton de la souris dessus
- L’installation de l’extension débute
Désactiver/Supprimer une extension
- Cliquez sur le menu en haut à droite puis Extensions
- Puis sur le menu Extensions à gauche pour afficher la liste des extensions
- Enfin pour désactiver l’extension, cliquez sur la jauge bleu
- Si vous désirez supprimer complètement l’addon, cliquez sur l’icône trois boutons
- Puis dans le menu déroulant Supprimer
Paramétrer les extensions
Mozilla Firefox permet de gérer vos modules complémentaires depuis les menus dédiés.
- Cliquez sur le menu en haut à droite puis Extensions
- Cliquez sur le menu de gauche Extensions
- L’icône roue crantée en haut à droite vous permet d’accéder aux menus de paramétrage :
- Rechercher des mises à jour : Vérifier que vos extensions sont à jour
- Afficher les mises à jour récentes : Lister les dernières mises à jour des extensions
- Installer un module depuis un fichier : voir paragraphe précédent
- Mettre à jour les modules automatiquement
- Afficher la mise à jour automatique pour tous les modules
- Gérer les raccourcis d’extensions : Modifier les raccourcis clavier
Liens
- Comment installer ou supprimer des extensions sur Chrome, Firefox, Brave, Opera ou Edge
- Comment supprimer une extension sur Google Chrome, Mozilla Firefox, Microsoft Edge, Opera ou Brave
- Installer des extensions sur Chrome, Firefox ou Samsung internet sur Android
- Gérer les extensions sur Google Chrome
- Différences plugins et extensions sur les navigateurs WEB
- Windows 10 : comment afficher les extensions de fichiers