From cffa3673f14b4a09c3a9e5901af4c9b4fc438c2f Mon Sep 17 00:00:00 2001
From: Markus Zeller <git@markuszeller.com>
Date: Sun, 12 Jun 2022 15:01:22 +0200
Subject: [PATCH] Cast to int #32837

Signed-off-by: Markus Zeller <git@markuszeller.com>
---
 apps/files/lib/Command/Scan.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/files/lib/Command/Scan.php b/apps/files/lib/Command/Scan.php
index f1596fa98a5db..710c76de49351 100644
--- a/apps/files/lib/Command/Scan.php
+++ b/apps/files/lib/Command/Scan.php
@@ -306,7 +306,7 @@ protected function showSummary($headers, $rows, OutputInterface $output) {
 	 * @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);
 	}