toShortDate method
Format DateTime to a short date - example "Mon 1st Jan"
Implementation
String toShortDate() {
if (this == null) return "";
return '${intl.DateFormat('E', _locale).format(this!)} ${_addOrdinal(this!.day)} ${intl.DateFormat('MMM', _locale).format(this!)}';
}