jquery/jquery-ui — pull request #1006 by tjvantoll (2013-06-13 20:48:59+00:00)
Title: Menu: Reset ui-menu-icons class in refresh. Fixes #9377: Menu: Refreshin...

...g should recheck for menu icons