Date format types not translated in admin pages

In page admin/settings/date-time/formats, the date format types' names (Short, Long, Medium) are not translated.

The label above each select field is composed at runtime, and I think the code is missin a t() call around the name of the format type.

Please find attached a one-line patch that solves the problem for me.