add: */ 
context: function PageProxySetIcon (aURL){#ifdef MOZ_PLACES  // Save this favicon in the favicon service  if (aURL) {    var faviconService = Components.classes["@mozilla.org/browser/favicon-service;1"].      getService(Components.interfaces.nsIFaviconService);    var uri = Components.classes["@mozilla.org/network/io-service;1"]        .getService(Components.interfaces.nsIIOService).newURI(aURL, null, null);    faviconService.setAndLoadFaviconForPage(gBrowser.currentURI, uri, false);  }#endif  if (!gProxyFavIcon)    return;  if (!aURL)    PageProxyClearIcon();  else if (gProxyFavIcon.getAttribute("src") != aURL)    gProxyFavIcon.setAttribute("src", aURL);  else if (gProxyDeck.selectedIndex != 1)    gProxyDeck.selectedIndex = 1;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5fd0faee5b9b2ed930be83ae14eaa33dc236d465/browser.js/clean/browser/base/content/browser.js