Feat dynamic time format based on video duration

[Xurdejl]

I noticed the time display was always showing hours even for short videos (like 00:25:59 for a 25-minute video), which felt a bit cluttered and always bothered me. Most other players, like YouTube, only show hours when needed, so I thought we could do the same.

This pull request cherry-picks the commit I made in the other fork.

What's changed?

• Short videos: 03:24 instead of 00:03:24
• Long videos: still 01:23:45 (no change)
• Everything else (milliseconds toggle, remaining time) works exactly the same.