jquery/jquery-mobile — pull request #7466 by gabrielschulhof (2014-06-03 11:13:19+00:00)
Title: Checkboxradio: Deprecate option "mini"

Fixes gh-7463