Last modified: 2013-07-18 15:18:00 UTC
New user agent string: | Mozilla/5.0 (Windows NT 6.3; Trident/7.0; rv 11.0) like Gecko (In general, it'll be "rv xxx" for version numbers now.
Change 72469 had a related patch set uploaded by Matmarex: jquery.client: Detect Internet Explorer 11 https://gerrit.wikimedia.org/r/72469
Noting per IRC discussion and updates on gerrit: current Windows 8.1 preview release has 'rv:11.0' not 'rv 11.0' and some other slight differences that caused it not to be picked up with the posted code. Needs a slight tweak.
Change 72469 merged by Brion VIBBER: jquery.client: Detect Internet Explorer 11 https://gerrit.wikimedia.org/r/72469
Tweaked and merged now.