I use an app called Androind Agenda Widget and when I try to use its customisation settings to make it say "Monday" it shortens it to "Mon" this only happens on MIUI; on sense or CM its the long version.
I contacted the developer and he says its to do with the DateFormat class file possibly...