Skip to content
Permalink
Browse files

[FIXED JENKINS-19171] Identify user agent for Internet Explorer 11.

(cherry picked from commit a184ef5)
  • Loading branch information
jglick authored and olivergondza committed Aug 12, 2013
1 parent 36ef7c6 commit 1a7841b5d531eb3f7b551dfe5e6c38a1421b571a
@@ -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 1a7841b

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