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

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) {