jquery/jquery-mobile — pull request #3888 by gabrielschulhof (2012-03-23 10:33:36+00:00)
Title: Minor cleanup

Some whitespace fixes in button and the removal of an unused option in select.