[WPMU DEV Dashboard] Option to select time format.

Hello,
i am used to 24h time format and as i see there is no option to. set it. Everything uses AM/PM time. While its not really big deal it would be still very nice to have such option. Please consider adding it. Thanks!