add: dump("nsProxyAutoConfig.js: weekdayRange function deprecated or not implemented\n"); 
context: function weekdayRange(wd1, wd2, gmt) {    return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/07f6d9fc02e0bb8b34e772dbc8dd2cca116fbbe3/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js