24h format for filenames

[Denilson Sá Maia]

When using "datetime file naming", it will save files as YYYYMMDD_hhmmss.ext. This is awesome! Except that the "hour" is in 12-hour format, instead of 24-hour format.

This is bad for two main reasons:

• Sorting. Later files may come earlier than earlier files. Well, recording from the afternoon will end up mixed with the recordings from the morning.
• Ambiguous. If I have a file named 20160225_030618.aac, is it 3 AM or 3 PM (15:18)?