Cast to int #32837

Signed-off-by: Markus Zeller <git@markuszeller.com>

diff --git a/apps/files/lib/Command/Scan.php b/apps/files/lib/Command/Scan.php
index cfab4a42932c4a3f5fae1acd661184b803618d97..074d2bfe0c7488dc81e69728abbb9595bf0cc304 100644 (file)
--- a/apps/files/lib/Command/Scan.php
+++ b/apps/files/lib/Command/Scan.php
@@ -289,7 +289,7 @@ class Scan extends Base {
         * @return string
         */
        protected function formatExecTime() {
-               $secs = round($this->execTime);
+               $secs = (int)round($this->execTime);
                # convert seconds into HH:MM:SS form
                return sprintf('%02d:%02d:%02d', (int)($secs / 3600), ((int)($secs / 60) % 60), $secs % 60);
        }