diff --git a/ui/menu.js b/ui/menu.js index 286a2efc4b..3df6cb204f 100644 --- a/ui/menu.js +++ b/ui/menu.js @@ -38,7 +38,6 @@ return $.widget( "ui.menu", { defaultElement: "