jquery/jquery-mobile — pull request #5289 by Krinkle (2012-11-15 11:29:27+00:00)
Title: Issue #5288 - Check before opening HEAD file.

Fixes #5288.