jquery/jquery-mobile — pull request #4192 by uGoMobi (2012-04-24 14:59:50+00:00)
Title: Docs: Theming lists - adjusted explanation about default theme

Fixes #4188