[mms] Add the 'time_format_mini' preference.
Use mini time format here