jquery/jquery-ui — pull request #1031 by kborchers (2013-07-17 02:51:01+00:00)
Title: Add option to Menu as possible fix for 8929

I wasn't sure if I should put the menu fix on master or here first. I decided here since it can be demoed via the Selectmenu fix and then it can just be cherry-picked over to master. Bug for reference - http://bugs.jqueryui.com/ticket/8929