24h format

[characters]

This website is displaying time in a junk 12h format and not in a proper 24h one.

[jscher2000]

I don't know whether there is a user setting for this. Where I found the date setting, there's no mention of time settings:

https://connect.mozilla.org/t5/user/myprofilepage/tab/user-preferences:display

[tapi0]

It would be nice if user settings could have time setting also. Selection for 12h / 24h would be enough.