add: var credits = document.getElementById("credits"); credits.value = window.arguments[0].credits.replace("\\n", "\n", "g");  if (credits.value.length == 0) { document.getElementById("box_credits").hidden = true; document.getElementById("about").height -= 50; }  
context: function onload(aEvent){  if (aEvent.target != document)    return;  var bundle = Cc["@mozilla.org/intl/stringbundle;1"].getService(Ci.nsIStringBundleService);  bundle = bundle.createBundle("chrome://webrunner/locale/brand/brand.properties");  var appInfo = Cc["@mozilla.org/xre/app-info;1"].getService(Ci.nsIXULAppInfo);  var version = document.getElementById("version");  version.value = bundle.GetStringFromName("brandFullName") + " " + appInfo.version;  var userAgent = document.getElementById("useragent");  userAgent.value = navigator.userAgent;  document.documentElement.getButton("accept").focus();}
meta: 2142	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2142/9e13dbea29dcd785a29a742680f77f8b017e1de1/about.js/buggy/app/chrome/content/about.js