src/base/HttpRequest.js
function(){
		if(this.ieVersion !== undefined) return this.ieVersion;
		var ua=this.headers['user-agent'],m;
		if(!ua || !(m=ua.match(/MSIE ([\d\.]+)/i))) return this.ieVersion=false;
		return this.ieVersion=m[1];
	}
function(){
		if(this.ieVersion !== undefined) return this.ieVersion;
		var ua=this.headers['user-agent'],m;
		if(!ua || !(m=ua.match(/MSIE ([\d\.]+)/i))) return this.ieVersion=false;
		return this.ieVersion=m[1];
	}
TODO lang