public static function get_time_format() { if ($timeFormat = CalendarDateTime::config()->time_format_override) { return $timeFormat; } return _t('CalendarDateTime.TIMEFORMAT', '24'); }