/*! jQuery UI - v1.11.4 - 2015-03-13

(function(t)“function”==typeof define&&define.amd?define([“jquery”,“./core”,“./widget”,“./position”],t):t(jQuery)})(function(t){return t.widget(“ui.menu”,{version:“1.11.4”,defaultElement:“