(function( $, undefined ) {

$.widget( "ui.menu", {
    version: "1.10.3",
    defaultElement: "<ul>",