Use the admin-configured time format for formatting the values in the time
dropdown as opposed to always using 24-hour time.