rem: wgAjaxWatch.timeoutID = window.setTimeout(function() { wgAjaxWatch.inprogress = false; }, 10000); 
add: function() { wgAjaxWatch.inprogress = false; }, 
context: 	wgAjaxWatch.timeoutID = window.setTimeout(function() { wgAjaxWatch.inprogress = false; }, 10000);
meta: 6799	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6799/faa7a6a8c80577947e8e2392ec401b0d63b9b909/ajaxwatch.js/clean/skins/common/ajaxwatch.js