From b2d7472f38165ac6f3489a7fcb3d07bd19f7e9ac Mon Sep 17 00:00:00 2001
From: Stefan Wurzinger <Stefan.Wurzinger@cloudflight.io>
Date: Sun, 4 Oct 2020 16:13:34 +0200
Subject: [PATCH] fix ffmpeg time string for non-english locales

---
 modules/gallery/helpers/movie.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/gallery/helpers/movie.php b/modules/gallery/helpers/movie.php
index 4613df61..e7842676 100644
--- a/modules/gallery/helpers/movie.php
+++ b/modules/gallery/helpers/movie.php
@@ -268,7 +268,7 @@ class movie_Core {
    * features (the last argument of mkdate above, which disables DST, is deprecated as of PHP 5.3).
    */
   static function seconds_to_hhmmssdd($seconds) {
-    return sprintf("%02d:%02d:%05.2f", floor($seconds / 3600), floor(($seconds % 3600) / 60),
+    return sprintf("%02d:%02d:%05.2F", floor($seconds / 3600), floor(($seconds % 3600) / 60),
                    floor(100 * $seconds % 6000) / 100);
   }