Different time notation when hovering

So maybe I'm just not looking in the right place, but when I hover over a time or date, it shows the time in a 12-hour notation (only without the AM or PM). Now I would just like to have the 24-hour notation, but can't find any settings for this. Example:
0
Comments
Hey, which locale are you using?
You can set $Definition['Date.DefaultDateTimeFormat'] in that locale to your preferred format (it follows http://php.net/manual/en/function.strftime.php):
Instead of:
$Definition['Date.DefaultDateTimeFormat']='%B %e, %Y %l:%M%p';
It should be:
$Definition['Date.DefaultDateTimeFormat']='%B %e, %Y %H:%M';
Great! Thank you!