jquery-ui files missing from last push