Request feature: Option to show mediatime in milliseconds

[jakobon]

It would be great to have the option to see mediatime with milliseconds added.
That would be so helpful when syncing subtitles

Thanks for an excellent media player