added jquery-mobile 1.3.1 to happy