jquery/api.jqueryui.com — pull request #105 by tjvantoll (2013-02-16 20:58:13+00:00)
Title: Widget: Documenting properties.  Fixes #85.

See https://github.com/jquery/api.jqueryui.com/issues/85 for discussion.