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

(cherry picked from commit a184ef5)
jenkinsci · Sep 17, 2013 · 1a7841b · 1a7841b
1 parent 36ef7c6
commit 1a7841b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/war/src/main/webapp/scripts/yui/yahoo/yahoo-debug.js b/war/src/main/webapp/scripts/yui/yahoo/yahoo-debug.js
@@ -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) {

diff --git a/war/src/main/webapp/scripts/yui/yahoo/yahoo-min.js b/war/src/main/webapp/scripts/yui/yahoo/yahoo-min.js