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

[translation at torproject.org]

commit 7fccdb57e73caa6ff794e43cf01a8c09fe575828
Author: Translation commit bot <translation at torproject.org>
Date:   Wed Oct 17 16:45:54 2018 +0000

    Update translations for https_everywhere_completed
---
 da/https-everywhere.dtd | 1 +
 fr/https-everywhere.dtd | 1 +
 2 files changed, 2 insertions(+)

diff --git a/da/https-everywhere.dtd b/da/https-everywhere.dtd
index b83d4a589..1e728acf1 100644
--- a/da/https-everywhere.dtd
+++ b/da/https-everywhere.dtd
@@ -18,6 +18,7 @@
 <!ENTITY https-everywhere.options.enableMixedRulesets "Aktivér blandet indhold-regelsæt">
 <!ENTITY https-everywhere.options.showDevtoolsTab "Vis Devtools-faneblad">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Automatisk opdatering af regelsæt">
+<!ENTITY https-everywhere.options.userRulesListed "Brugerregler for HTTPS Everywhere">
 <!ENTITY https-everywhere.options.disabledUrlsListed "HTTPS Everywhere-steder deaktiveret">
 <!ENTITY https-everywhere.options.updateChannelsWarning "Advarsel: Tilføjelse af opdateringskanaler kan gøre at angribere kan kidnappe din browser. Rediger kun sektionen hvis du ved hvad du gør!">
 <!ENTITY https-everywhere.options.addUpdateChannel "Tilføj opdateringskanal">
diff --git a/fr/https-everywhere.dtd b/fr/https-everywhere.dtd
index 0e99a0b3a..116448576 100644
--- a/fr/https-everywhere.dtd
+++ b/fr/https-everywhere.dtd
@@ -18,6 +18,7 @@
 <!ENTITY https-everywhere.options.enableMixedRulesets "Activer les ensembles de règles pour le contenu mixte">
 <!ENTITY https-everywhere.options.showDevtoolsTab "Afficher l’onglet des outils pour développeurs">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Ensembles de règles de mise à jour automatique">
+<!ENTITY https-everywhere.options.userRulesListed "Règles utilisateur de HTTPS partout">
 <!ENTITY https-everywhere.options.disabledUrlsListed "Sites désactivés dans HTTPS partout">
 <!ENTITY https-everywhere.options.updateChannelsWarning "Avertissement : l’ajout de canaux de mise à jour peut permettre à des assaillants de pirater votre navigateur. Ne modifiez cette section que si vous savez ce que vous faites !">
 <!ENTITY https-everywhere.options.addUpdateChannel "Ajouter un canal de mise à jour">