m.addEventListener("command", function() { for (var i = 0; i < undoItems.length; i++) undoCloseTab(); }, false); 
function () { return browser.warnAboutClosingTabs(true); }); 
  m.addEventListener("command", function() {    for (var i = 0; i < undoItems.length; i++)      undoCloseTab();  }, false);
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/163f2b9e1fb22933bb6d60327e9daf4f24e55641/browser.js/clean/browser/base/content/browser.js