公司的工作系统开发人员不知道怎么搞的，js里绝大部分的setRequestHeader都写的比较标准，但是，有一个比较重要的函数里的setRequestHeader被写成了setrequestheader，用IE浏览还没问题，但是一旦用了firefox chrome opera等浏览器工作的话就无法调用这个函数，导致用不了这些浏览器工作。
因为这些开发人员给整个公司开发了一套工作流系统，而我只需要用到其中一小部分，所以，找人家改，没人理。
想自己改，试了firebug，不过这东西只能用来调试下网页，不知道怎么保证每次登陆我的工作页面都自动修改那个函数。
尝试greasemonkey，也没有找到可以修改的方案。
大家帮忙看看有什么办法在浏览器下载js后自动将脚本中的setrequestheader替换成setRequestHeader后再执行么？
