How to set the time in 24h format?

Hello,

I use OJS 3.1.2, and I try to change the default time format,
currently by default it is set to the english format (am/pm),

but in France we use the 24h format (for example 23:00 instead of 11:00 pm),

I saw that in config.inc.php there are settings for the changing the datetime format, but I don’t know which parameters I must use in the datetime format pattern for having the 24h format :

; Short and long date formats
date_format_trunc = “%m-%d”
date_format_short = “%Y-%m-%d”
date_format_long = “%B %e, %Y”
datetime_format_short = “%Y-%m-%d %I:%M %p”
datetime_format_long = “%B %e, %Y - %I:%M %p”
time_format = “%I:%M %p”

it would be nice to have a global setting “24h_format = true” in config.inc.php,

I notice also that the date is displayed in english format (months in english, instead of french)

thanks

I may found the good pattern for displaying time in 24h format, with the seconds :

datetime_format_short = “%Y-%m-%d %H:%M:%S”
datetime_format_long = “%B %e, %Y - %H:%M:%S”
time_format = “%H:%M:%S”

I hope it will not break OJS about datetime parsing, I see there are bugreports when the datetime format has been changed by the user