jquery/jquery-ui — pull request #671 by amire80 (2012-06-01 10:03:01+00:00)
Title: Changed dayNamesMin to one-letter strings.

Before this change the minimal names for days of week were the same
as the long names. This caused the datepicker to be too wide.

The one-letter strings come from the CLDR:
http://unicode.org/repos/cldr-tmp/trunk/diff/summary/ar.html