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

[translation at torproject.org]

commit 5ed451e1bd4e2b9b1ea312592bfb3a9a8ebc36bf
Author: Translation commit bot <translation at torproject.org>
Date:   Mon Mar 9 19:46:06 2020 +0000

    https://gitweb.torproject.org/translation.git/commit/?h=https_everywhere_completed
---
 he/https-everywhere.dtd | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/he/https-everywhere.dtd b/he/https-everywhere.dtd
index 6617ad2caa..6eea9e8c28 100644
--- a/he/https-everywhere.dtd
+++ b/he/https-everywhere.dtd
@@ -49,6 +49,12 @@
 <!ENTITY https-everywhere.cancel.open_page "פתח דף אי־מאובטח">
 <!ENTITY https-everywhere.cancel.http_once "פתח דף אי־מאובטח עבור שיח זה בלבד">
 
+<!ENTITY https-everywhere.onboarding.intro "">
+<!ENTITY https-everywhere.onboarding.header "">
+<!ENTITY https-everywhere.onboarding.details_one "">
+<!ENTITY https-everywhere.onboarding.details_two "">
+<!ENTITY https-everywhere.onboarding.footer "">
+
 <!ENTITY https-everywhere.chrome.settings_for_this_site_header "הגדרות עבור אתר זה">
 <!ENTITY https-everywhere.chrome.settings_for_this_site_subheader "שנה העדפות עבור חיבורים מוצפנים">
 <!ENTITY https-everywhere.chrome.settings_for_this_site_explained "כאשר אתה גולש באתרים שונים, אתה יכול לשנות את העדפותיך עבור כל אתר">