jquery/jquery-mobile — pull request #7544 by gabrielschulhof (2014-07-04 12:19:33+00:00)
Title: Selectmenu: Do not double-entity-encode option text

Fixes gh-7543