/usr/share/javascript/jquery-ui/ui
Edit: /usr/share/javascript/jquery-ui/ui/ie.min.js (224B)
!function(factory){"use strict";"function"==typeof define&&define.amd?define(["jquery","./version"],factory):factory(jQuery)}(function($){"use strict";return $.ui.ie=!!/msie [\w.]+/.exec(navigator.userAgent.toLowerCase())});