Skip to content
Permalink
Browse files

Merge pull request #907 from jglick/JENKINS-19171-IE-11

[FIXED JENKINS-19171] Identify user agent for Internet Explorer 11.
  • Loading branch information
jglick committed Sep 5, 2013
2 parents 99d62c7 + a184ef5 commit 980de3601c66d1ca1807bca98efd8ddc7827b843
@@ -518,9 +518,9 @@ YAHOO.env.parseUA = function(agent) {
o.mobile = m[0]; // ex: Opera Mini/2.0.4509/1316
}
} else { // not opera or webkit
m = ua.match(/MSIE\s([^;]*)/);
if (m && m[1]) {
o.ie = numberify(m[1]);
m = ua.match(/MSIE ([^;]*)|Trident.*; rv:([0-9.]+)/);
if (m && (m[1] || m[2])) {
o.ie = numberify(m[1] || m[2]);
} else { // not opera, webkit, or ie
m = ua.match(/Gecko\/([^\s]*)/);
if (m) {

Some generated files are not rendered by default. Learn more.

0 comments on commit 980de36

Please sign in to comment.
You can’t perform that action at this time.