Boîte de dialogue Gérer les extensions Web

Modifier > Gérer les extensions Web.

La boîte de dialogue Gérer les extensions Web propose les options suivantes pour gérer les extensions Web :

• Ajouter
• Propriétés
• Supprimer
• Remplacer
• Exporter