if (http_request.overrideMimeType) {
http_request.overrideMimeType("text/xml");}

其作用是：针对某些特定版本的mozillar浏览器的BUG进行修正

具体来说：

如果来自服务器的响应没有 XML mime-type 头部，则一些版本的 Mozilla 浏览器不能正常运行。

对于这种情况，httpRequest.overrideMimeType('text/xml'); 语句将覆盖发送给服务器的头部，强制 text/xml 作为 mime-type。

http://www.docin.com/p-395308094.html :参考一下