diff -r b95aebb070b5 -r 78f71aa0a477 integration/back-office/lib/jquery-ui/ui/minified/jquery.ui.menu.min.js --- a/integration/back-office/lib/jquery-ui/ui/minified/jquery.ui.menu.min.js Tue May 14 18:17:07 2013 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,4 +0,0 @@ -/*! jQuery UI - v1.10.3 - 2013-05-03 -* http://jqueryui.com -* Copyright 2013 jQuery Foundation and other contributors; Licensed MIT */ -(function(t){t.widget("ui.menu",{version:"1.10.3",defaultElement:"