Time format

Hello,

I'm trying to format the time from 01:00:00 PM to 13:00:00, but without success, is it possible to achieve this result with ui-time-mask?

Thanks

---
Want to back this issue? **[Post a bounty on it!](https://www.bountysource.com/issues/41363377-time-format?utm_campaign=plugin&utm_content=tracker%2F1022469&utm_medium=issues&utm_source=github)** We accept bounties via [Bountysource](https://www.bountysource.com/?utm_campaign=plugin&utm_content=tracker%2F1022469&utm_medium=issues&utm_source=github).

The issue names ui-time-mask but no file or test. Start by locating that directive and its time-format behavior, then determine whether converting 01:00:00 PM to 13:00:00 is supported; done means the requested 12-hour to 24-hour result works or the limitation is clearly established.

Written by the indexing model from the issue text.