jquery/jquery-mobile — pull request #6830 by gabrielschulhof (2013-12-21 21:57:17+00:00)
Title: Mobile widget: Correctly declare dependency on widget factory

Fixes #6829