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時間表示に切り替わりません。しかし、チャットはまだ準備ができていません。しかし、それは翻訳不足が原因だと推測します。