rem: var url = aEvent.target.href; if (!url) {  url = aEvent.target.parentNode.href; } 
add: if(!window.InstallTrigger) return true;  var url = getInstallURL(aEvent); if (!url) return true;  
context: function installTheme( aEvent, extName) {    var url = aEvent.target.href;    if (!url) {        // rustico puts it somewhere else, of course        url = aEvent.target.parentNode.href;    }    InstallTrigger.installChrome(InstallTrigger.SKIN,url,extName);    try {        var p = new XMLHttpRequest();        p.open("GET", "/install.php?uri="+url, true);        p.send(null);    } catch(e) { }    return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5fa2484d064d1fed33d20cfafc48b26e8dbb645f/install.js/clean/webtools/addons/public/htdocs/js/install.js