mirror of
https://github.com/mpv-player/mpv
synced 2025-02-26 18:32:08 +00:00
d3a63e16d2
This gives these properties the "time" type, which allows them to be pretty-printed as HH:MM:SS easily (but also still allows raw formatting using e.g. ${=sub-start}).
2 lines
60 B
Plaintext
2 lines
60 B
Plaintext
change type of `sub-start` and `sub-end` properties to time
|