context: function BrowserOpenExtensions(aOpenMode){  const EMTYPE = "Extension:Manager";    var wm = Components.classes["@mozilla.org/appshell/window-mediator;1"]                     .getService(Components.interfaces.nsIWindowMediator);  var needToOpen = true;  var windowType = EMTYPE + "-" + aOpenMode;  var windows = wm.getEnumerator(windowType);  while (windows.hasMoreElements()) {    var theEM = windows.getNext().QueryInterface(Components.interfaces.nsIDOMWindowInternal);    if (theEM.document.documentElement.getAttribute("windowtype") == windowType) {      theEM.focus();      needToOpen = false;      break;    }  }  if (needToOpen) {    const EMURL = "chrome://mozapps/content/extensions/extensions.xul?type=" + aOpenMode;    const EMFEATURES = "chrome,dialog=no,resizable";    window.openDialog(EMURL, "", EMFEATURES);  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2fb9feaadc992e3ccd442db789244b253d0427f8/browser.js/buggy/browser/base/content/browser.js