From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 27 Dec 2014 15:41:37 +0100 Subject: Update to MediaWiki 1.24.1 --- resources/lib/jquery.ui/jquery.ui.menu.js | 610 ++++++++++++++++++++++++++++++ 1 file changed, 610 insertions(+) create mode 100644 resources/lib/jquery.ui/jquery.ui.menu.js (limited to 'resources/lib/jquery.ui/jquery.ui.menu.js') diff --git a/resources/lib/jquery.ui/jquery.ui.menu.js b/resources/lib/jquery.ui/jquery.ui.menu.js new file mode 100644 index 00000000..6342f2d3 --- /dev/null +++ b/resources/lib/jquery.ui/jquery.ui.menu.js @@ -0,0 +1,610 @@ +/*! + * jQuery UI Menu 1.9.2 + * http://jqueryui.com + * + * Copyright 2012 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 ) { + +var mouseHandled = false; + +$.widget( "ui.menu", { + version: "1.9.2", + defaultElement: "