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.