In order to tailor the experience to each user, the displayed time format is adapted to each user's environment. Depending on your system, it may rely on your browser or operating system settings. Most international locales use 24h time by default. In English, however, it varies.
See below instructions on how to change this setting in different browsers.