setTexts(currentLang);
// the choice is remembered, so the review pages open in the same language
try { localStorage.setItem('lang', currentLang); } catch (e) {}
};
setTexts(currentLang);
try {
var saved = localStorage.getItem('lang');
var ul = (navigator.language || '').toLowerCase();
if (saved ? saved === 'en' : (ul && !ul.startsWith('he') && !ul.startsWith('iw'))) window.toggleLang();
} catch (e) {}
גריל בר ירושלים | Grill Bar Jerusalem
