Vanilla 2.6 is here
! It includes security fixes and requires PHP 7.0. We have therefore ALSO released Vanilla 2.5.2
with security patches if you are still on PHP 5.6 to give you additional time to upgrade.
Please upgrade to 2.3 here.
The 2.2 and earlier branches are no longer being updated.
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: