diff -r 34df8e58b6fc -r e5feaa369ccc integration/lib/jquery-ui/ui/jquery.ui.menu.js --- a/integration/lib/jquery-ui/ui/jquery.ui.menu.js Thu May 16 15:01:43 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: "