diff -r a51471894a9e -r b95aebb070b5 integration/back-office/lib/jquery-ui/ui/jquery.ui.menu.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/integration/back-office/lib/jquery-ui/ui/jquery.ui.menu.js Tue May 14 18:17:07 2013 +0200 @@ -0,0 +1,621 @@ +/*! + * jQuery UI Menu 1.10.3 + * http://jqueryui.com + * + * Copyright 2013 jQuery Foundation and other contributors + * Released under the MIT license. + * http://jquery.org/license + * + * http://api.jqueryui.com/menu/ + * + * Depends: + * jquery.ui.core.js + * jquery.ui.widget.js + * jquery.ui.position.js + */ +(function( $, undefined ) { + +$.widget( "ui.menu", { + version: "1.10.3", + defaultElement: "