L’extension Web Developer ajoute une barre d’outils et un menu de navigateur dotés de divers outils dédiés aux développeurs web. Ils permettent notamment de manipuler les éléments d’une page, de ...