diff -r b95aebb070b5 -r 78f71aa0a477 integration/back-office/lib/jquery-ui/ui/jquery.ui.menu.js --- a/integration/back-office/lib/jquery-ui/ui/jquery.ui.menu.js Tue May 14 18:17:07 2013 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,621 +0,0 @@ -/*! - * 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: "