rem: var strings = document.getElementById("placeBundle"); 
add: var strings = gNavigatorBundle; 
context: HistoryMenu.populateUndoSubmenu = function PHM_populateUndoSubmenu() {  var undoPopup = document.getElementById("historyUndoPopup");  // remove existing menu items  while (undoPopup.hasChildNodes())    undoPopup.removeChild(undoPopup.firstChild);  // get closed-tabs from nsSessionStore  var ss = Cc["@mozilla.org/browser/sessionstore;1"].           getService(Ci.nsISessionStore);  // no restorable tabs, so make sure menu is disabled, and return  if (ss.getClosedTabCount(window) == 0) {    undoPopup.parentNode.setAttribute("disabled", true);    return;  }  // enable menu  undoPopup.parentNode.removeAttribute("disabled");  // populate menu  var undoItems = eval("(" + ss.getClosedTabData(window) + ")");  for (var i = 0; i < undoItems.length; i++) {    var m = undoPopup.appendChild(document.createElement("menuitem"));    m.setAttribute("label", undoItems[i].title);    m.setAttribute("value", i);    m.setAttribute("oncommand", "undoCloseTab(" + i + ");");  }  // "open in tabs"  var strings = document.getElementById("placeBundle");  undoPopup.appendChild(document.createElement("menuseparator"));  m = undoPopup.appendChild(document.createElement("menuitem"));  m.setAttribute("label", strings.getString("menuOpenInTabs.label"));  m.setAttribute("accesskey", strings.getString("menuOpenInTabs.accesskey"));  m.addEventListener("command", function() {    for (var i = 0; i < undoItems.length; i++)      undoCloseTab();  }, false);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e608dc89c483c56ec3f37c7068ec9321d85b87c5/browser.js/buggy/browser/base/content/browser.js