Added util for specifying jQuery UI widget type in HTML markup