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

Fixes #5288. cc @gabrielschulhof.