format.time
Time format. The chosen time format may not be obeyed by all interface themes.