add: #ifdef MOZ_PLACES  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  
context: function PageProxySetIcon (aURL){  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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0e0aaa79ebca7ab913f2a33a93e8d879845e211c/browser.js/buggy/browser/base/content/browser.js