if (ret == nsIFilePicker.returnOK) 
if (ret == nsIFilePicker.returnOK) 
function installSkin(){  // 1) Prompt the user for the location of the theme to install.   var fp = Components.classes["@mozilla.org/filepicker;1"].createInstance(nsIFilePicker);  fp.init(window, getExtensionString("installThemePickerTitle"), nsIFilePicker.modeOpen);  fp.appendFilter(getExtensionString("themesFilter"), "*.jar");  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);    InstallTrigger.installChrome(InstallTrigger.SKIN, url.spec, decodeURIComponent(url.fileBaseName));  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js