Cast to int #32837

markuszeller · markuszeller · commit 41e15f7dfbd0 · 2022-11-07T16:10:15.000+01:00
diff --git 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);
 	}

Original file line number	Diff line number	Diff line change
`@@ -306,7 +306,7 @@ protected function showSummary($headers, $rows, OutputInterface $output) {`
`306`	`306`	`* @return string`
`307`	`307`	`*/`
`308`	`308`	`protected function formatExecTime() {`
`309`		`- $secs = round($this->execTime);`
	`309`	`+ $secs = (int)round($this->execTime);`
`310`	`310`	`# convert seconds into HH:MM:SS form`
`311`	`311`	`return sprintf('%02d:%02d:%02d', (int)($secs / 3600), ((int)($secs / 60) % 60), $secs % 60);`
`312`	`312`	`}`