rem: function BrowserSetForcedDetector(doReload) { BrowserSetForcedDetector(); 
add: function BrowserSetForcedDetector(doReload) { getBrowser().documentCharsetInfo.forcedDetector = true; if (doReload) BrowserReloadWithFlags(nsIWebNavigation.LOAD_FLAGS_CHARSET_CHANGE); 
context: function BrowserSetForcedDetector(doReload) {    BrowserSetForcedDetector();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/bd30bb8e079e12fac456f57392a03e439ff6b525/browser.js/buggy/browser/base/content/browser.js