if (ret == nsIFilePicker.returnOK) 
if (ret == nsIFilePicker.returnOK) 
function installExtension(){  var fp = Components.classes["@mozilla.org/filepicker;1"].createInstance(nsIFilePicker);  fp.init(window, getExtensionString("installExtensionPickerTitle"), nsIFilePicker.modeOpen);  fp.appendFilter(getExtensionString("extensionFilter"), "*.xpi");  fp.appendFilters(nsIFilePicker.filterAll);  var ret = fp.show();  if (ret == nsIFilePicker.returnOK)   {    var ioService = Components.classes['@mozilla.org/network/io-service;1'].getService(nsIIOService);    var fileProtocolHandler =    ioService.getProtocolHandler("file").QueryInterface(nsIFileProtocolHandler);    var url = fileProtocolHandler.newFileURI(fp.file).QueryInterface(nsIURL);    var xpi = {};    xpi[decodeURIComponent(url.fileBaseName)] = url.spec;    InstallTrigger.install(xpi);  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js