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