diff -r 346c88efed21 -r 5e2f62d02dcd wp/wp-includes/js/jquery/ui/menu.min.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wp/wp-includes/js/jquery/ui/menu.min.js Tue Jun 09 03:35:32 2015 +0200 @@ -0,0 +1,11 @@ +/*! + * jQuery UI Menu 1.11.4 + * http://jqueryui.com + * + * Copyright jQuery Foundation and other contributors + * Released under the MIT license. + * http://jquery.org/license + * + * http://api.jqueryui.com/menu/ + */ +!function(a){"function"==typeof define&&define.amd?define(["jquery","./core","./widget","./position"],a):a(jQuery)}(function(a){return a.widget("ui.menu",{version:"1.11.4",defaultElement:"