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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9e59333f1ea055a66f9d3681cfb68bf3a84f50fe/browser.js/clean/browser/base/content/browser.js