Default time format for agenda should be get_option('time_format')