rem: } 
context: function onLoadPageInfo(){  //dump("===============================================================================\n");  theBundle = document.getElementById("pageinfobundle");  gStrings.unknown = theBundle.getString("unknown");  gStrings.notSet = theBundle.getString("notset");  gStrings.emptyString = theBundle.getString("emptystring");  gStrings.noExpiration = theBundle.getString("generalNoExpiration");  gStrings.linkAnchor = theBundle.getString("linkAnchor");  gStrings.linkArea = theBundle.getString("linkArea");  gStrings.linkSubmit = theBundle.getString("linkSubmit");  gStrings.linkSubmission = theBundle.getString("linkSubmission");  gStrings.linkRel = theBundle.getString("linkRel");  gStrings.linkStylesheet = theBundle.getString("linkStylesheet");  gStrings.linkRev = theBundle.getString("linkRev");  gStrings.linkX = theBundle.getString("linkX");  gStrings.mediaImg = theBundle.getString("mediaImg");  gStrings.mediaBGImg = theBundle.getString("mediaBGImg");  gStrings.mediaApplet = theBundle.getString("mediaApplet");  gStrings.mediaObject = theBundle.getString("mediaObject");  gStrings.mediaEmbed = theBundle.getString("mediaEmbed");  gStrings.mediaLink = theBundle.getString("mediaLink");  gStrings.mediaInput = theBundle.getString("mediaInput");  var docTitle = "";  if ("arguments" in window && window.arguments.length >= 1 && window.arguments[0])  {    theWindow = null;    theDocument = window.arguments[0];    docTitle = theBundle.getString("frameInfo.title");  }   else   {    if ("gBrowser" in window.opener)      theWindow = window.opener.gBrowser.contentWindow;    else      theWindow = window.opener.frames[0];    theDocument = theWindow.document;    docTitle = theBundle.getString("pageInfo.title");  }  document.title = docTitle;  // do the easy stuff first  makeGeneralTab();  // and then the hard stuff  makeTabs(theDocument, theWindow);  /* Call registered overlay init functions */  for (x in onLoadRegistry)  {    onLoadRegistry[x]();  }  /* Select the requested tab, if the name is specified */  if ("arguments" in window && window.arguments.length > 1)  {    var tabName = window.arguments[1];    if (tabName)    {      var tabControl = document.getElementById("tabbox");      var tab = document.getElementById(tabName);      if (tabControl && tab)      {        tabControl.selectedTab = tab;      }    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7e9cc2edcf6866b7c1f18ba384236ebd1b911372/pageInfo.js/clean/xpfe/browser/resources/content/pageInfo.js