command: use property_time() for sub-start and sub-end

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}).

1 files changed, 10 insertions, 0 deletions

diff --git a/DOCS/man/input.rst b/DOCS/man/input.rst
index 0931ddb289..ae70585305 100644
--- a/DOCS/man/input.rst
+++ b/DOCS/man/input.rst
@@ -2867,6 +2867,11 @@ Property list
     subtitles, returns the first start time. If no current subtitle is present
     null is returned instead.
 
+    This has a sub-property:
+
+    ``sub-start/full``
+        ``sub-start`` with milliseconds.
+
 ``secondary-sub-start``
     Same as ``sub-start``, but for the secondary subtitles.
 
@@ -2876,6 +2881,11 @@ Property list
     if it's present but has unknown or incorrect duration, null is returned
     instead.
 
+    This has a sub-property:
+
+    ``sub-end/full``
+        ``sub-end`` with milliseconds.
+
 ``secondary-sub-end``
     Same as ``sub-end``, but for the secondary subtitles.