rem: gCharsetMenu = Components.classes['@mozilla.org/rdf/datasource;1?name=charset-menu'].getService().QueryInterface(Components.interfaces.nsICurrentCharsetListener); 
add: gCharsetMenu = Components.classes['@mozilla.org/rdf/datasource;1?name=charset-menu'].getService().QueryInterface(Components.interfaces.nsICurrentCharsetListener); 
context: function charsetLoadListener (event){    var charset = window._content.document.characterSet;    if (charset.length > 0 && (charset != gLastBrowserCharset)) {        if (!gCharsetMenu)           gCharsetMenu = Components.classes['@mozilla.org/rdf/datasource;1?name=charset-menu'].getService().QueryInterface(Components.interfaces.nsICurrentCharsetListener);        gCharsetMenu.SetCurrentCharset(charset);        gPrevCharset = gLastBrowserCharset;        gLastBrowserCharset = charset;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9e59333f1ea055a66f9d3681cfb68bf3a84f50fe/browser.js/clean/browser/base/content/browser.js