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

https://gitweb.torproject.org/translation.git/commit/?h=https_everywhere_com... --- 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 "">