I would like to change the time format to 24 hours (from 3:00 PM to 15:00). To what do I need to change the current, h:mma and h:mm a? Thanks!
Answering my own question. It seems Discourse uses Moment.js format string. In the case of my request, it is simply a matter of changing h:mma and hmm a to HH:mm. More references on the Moment.js format page.
I hope I did not break things! 
Привет! Я не знал, как это сделать в Discourse. Что именно вы сделали, чтобы изменить формат времени на 24-часовой?
Перейдите в Настройки → Настройка → Текст
Затем найдите :mm и измените формат в соответствии с вашими предпочтениями, используя в качестве справочника страницу форматов Moment.js.
Однако это работает не полностью. В чате временные метки перешли из формата AM/PM на 24-часовой, но по какой-то причине не везде. Я также выполнил пересборку и попробовал другой браузер без кэша, но результат тот же.
Я изменил следующее:
Конечно, смена локали на европейскую страну (кроме Великобритании) тоже решила бы проблему. Но тогда изменится и язык сайта. Чтобы сохранить согласованность пользовательского текста и языка, я зафиксировал локаль на американском английском. Мне нужно изменить только формат времени. Возможно, позже и формат даты.
Подскажите, как исправить эти оставшиеся несоответствия в формате времени? Я хочу, чтобы везде использовался 24-часовой формат времени при американском английском. Моя догадка: эти исключения не используют указанные переменные, а жестко заданы в том формате.
На самом деле смена страны не переводит время в чате на 24-часовой формат. Но в целом чат ещё не готов. Полагаю, это связано с нехваткой переводов.