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! 
Olá! Não percebi como fazer isso no Discourse. O que exatamente você fez para mudar o formato de hora para 24 horas?
Vá para Configurações → Personalizar → Texto
E então procure por :mm e altere o formato de acordo com o que você deseja, usando a página de formato do Moment.js como guia.
No entanto, isso não funciona completamente. No Chat, os carimbos de data/hora mudaram do estilo AM/PM para um relógio de 24 horas, mas não tudo, por algum motivo. Também fiz uma reconstrução e tentei com outro navegador sem nada em cache.
Eu modifiquei o seguinte:
Claro que mudar a localidade para um paĂs europeu (excluindo o Reino Unido) tambĂ©m resolveria. Mas entĂŁo a linguagem do site tambĂ©m muda. Para manter o texto personalizado e a linguagem consistentes, eu a bloqueei para inglĂŞs dos EUA. É apenas o formato de hora que quero mudar. Talvez o formato da data mais tarde tambĂ©m.
Alguém sabe como corrigir essas últimas inconsistências em termos de formato de hora? Quero tudo em formato de 24 horas, usando inglês dos EUA. Minha suposição é que esses valores discrepantes não usam essas variáveis, mas são codificados diretamente nesse formato.
Na verdade, mudar de paĂs nĂŁo altera o horário para 24h no chat. Mas, enfim, o chat ainda nĂŁo está pronto. Mas isso Ă© por falta de traduções, eu acho.