[tor-commits] [translation/https_everywhere_completed] Update translations for https_everywhere_completed

[translation at torproject.org]

commit 1fa5192e163682e127d38588c19f628bf0079ef2
Author: Translation commit bot <translation at torproject.org>
Date:   Thu Apr 19 16:15:39 2018 +0000

    Update translations for https_everywhere_completed
---
 fr/https-everywhere.dtd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fr/https-everywhere.dtd b/fr/https-everywhere.dtd
index c6ba07168..177c30a9c 100644
--- a/fr/https-everywhere.dtd
+++ b/fr/https-everywhere.dtd
@@ -17,6 +17,7 @@
 <!ENTITY https-everywhere.options.importSettings "Importer les paramètres">
 <!ENTITY https-everywhere.options.import "Importer">
 <!ENTITY https-everywhere.options.enableMixedRulesets "Activer les ensembles de règles pour le contenu mixte">
+<!ENTITY https-everywhere.options.showDevtoolsTab "Afficher l’onglet Devtools">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Ensembles de règles de mise à jour automatique">
 <!ENTITY https-everywhere.options.imported "Vos paramètres ont été importés.">