diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js index 8d99272d0..3c445eca1 100644 --- a/ui/jquery.ui.menu.js +++ b/ui/jquery.ui.menu.js @@ -15,8 +15,6 @@ */ (function( $, undefined ) { -var mouseHandled = false; - $.widget( "ui.menu", { version: "@VERSION", defaultElement: "