[tor-commits] [translation/https_everywhere_completed] https://gitweb.torproject.org/translation.git/commit/?h=https_everywhere_completed

[translation at torproject.org]

commit 54b9ad8167028c248209564040b2fb41ed74e4d4
Author: Translation commit bot <translation at torproject.org>
Date:   Sat Sep 12 09:45:22 2020 +0000

    https://gitweb.torproject.org/translation.git/commit/?h=https_everywhere_completed
---
 es/https-everywhere.dtd | 4 ++++
 it/https-everywhere.dtd | 7 +++++++
 2 files changed, 11 insertions(+)

diff --git a/es/https-everywhere.dtd b/es/https-everywhere.dtd
index 31221cbbe6..b8ee5112af 100644
--- a/es/https-everywhere.dtd
+++ b/es/https-everywhere.dtd
@@ -75,3 +75,7 @@
 <!ENTITY https-everywhere.chrome.regex "Expresión regular (regex) coincidente">
 <!ENTITY https-everywhere.chrome.redirect_to "Redirigir a">
 <!ENTITY https-everywhere.chrome.status_cancel_button "Cancelar">
+
+<!ENTITY https-everywhere.standalone.proxy_server_info_prefix "">
+<!ENTITY https-everywhere.standalone.transparent_true "">
+<!ENTITY https-everywhere.standalone.transparent_false "">
diff --git a/it/https-everywhere.dtd b/it/https-everywhere.dtd
index dac66a3055..1cd5925be6 100644
--- a/it/https-everywhere.dtd
+++ b/it/https-everywhere.dtd
@@ -31,6 +31,7 @@
 <!ENTITY https-everywhere.options.updateChannelsWarning "Attenzione: l'aggiunta di canali di aggiornamento può causare il dirottamento del browser da parte di aggressori. Modifica questa sezione solo se sai cosa stai facendo!">
 <!ENTITY https-everywhere.options.addDisabledSite "">
 <!ENTITY https-everywhere.options.enterDisabledSite "">
+<!ENTITY https-everywhere.options.hostNotFormattedCorrectly "">
 <!ENTITY https-everywhere.options.addUpdateChannel "Aggiungi canale di aggiornamento">
 <!ENTITY https-everywhere.options.enterUpdateChannelName "Inserisci il nome del canale">
 <!ENTITY https-everywhere.options.delete "Canc">
@@ -46,6 +47,8 @@
 
 <!ENTITY https-everywhere.cancel.he_blocking_explainer "HTTPS Everywhere ha notato che stavi per navigare in una pagina non-HTTPS e ha tentato di mandarti alla versione HTTPS. La versione HTTPS non è disponibile. Probabilmente questo sito non supporta HTTPS, ma è anche possibile che un aggressore stia bloccando la versione HTTPS. Se desideri visualizzare la versione non cifrata di questa pagina, puoi farlo disattivando l'opzione 'Cripta tutti i siti idonei' (EASE) nell'estensione HTTPS Everywhere. Tieni presente che disattivare questa opzione potrebbe rendere il tuo browser vulnerabile ad attacchi di declassamento della rete nei siti che visiti.">
 <!ENTITY https-everywhere.cancel.he_blocking_network "attacchi di declassamento della rete">
+<!ENTITY https-everywhere.cancel.copy_url "">
+<!ENTITY https-everywhere.cancel.copied_url "">
 <!ENTITY https-everywhere.cancel.open_page "Apri pagina non sicura">
 <!ENTITY https-everywhere.cancel.http_once "">
 
@@ -72,3 +75,7 @@
 <!ENTITY https-everywhere.chrome.regex "Regex equivalente">
 <!ENTITY https-everywhere.chrome.redirect_to "Reindirizza a">
 <!ENTITY https-everywhere.chrome.status_cancel_button "Annulla">
+
+<!ENTITY https-everywhere.standalone.proxy_server_info_prefix "">
+<!ENTITY https-everywhere.standalone.transparent_true "">
+<!ENTITY https-everywhere.standalone.transparent_false "">