diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-includes/js/jquery/ui/menu.min.js --- a/wp/wp-includes/js/jquery/ui/menu.min.js Tue Jun 09 11:14:17 2015 +0000 +++ b/wp/wp-includes/js/jquery/ui/menu.min.js Mon Oct 14 17:39:30 2019 +0200 @@ -8,4 +8,4 @@ * * 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:"