jquery/jquery-ui — pull request #745 by zjs (2012-10-15 17:32:08+00:00)
Title: Merge master into mask

This change merges master into mask to pick up changes from the last month.

This change is being made in order to facilitate other changes planned as part of work at the jQuery Developer Summit.