WP-CLI index timers: Cast values to float

10up · Jun 2, 2022 · 46419c5 · 46419c5
1 parent c0aa3e7
commit 46419c5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/includes/classes/Command.php b/includes/classes/Command.php
@@ -1530,7 +1530,7 @@ protected function timer_start() {
 	 */
 	protected function timer_stop( $precision = 3 ) {
 		$diff = microtime( true ) - $this->time_start;
-		return number_format( $diff, $precision );
+		return (float) number_format( (float) $diff, $precision );
 	}
 
 	/**
@@ -1542,7 +1542,7 @@ protected function timer_stop( $precision = 3 ) {
 	 * @return string
 	 */
 	protected function timer_format( $microtime, $format = 'H:i:s.u' ) {
-		$microtime_date = \DateTime::createFromFormat( 'U.u', number_format( $microtime, 3, '.', '' ) );
+		$microtime_date = \DateTime::createFromFormat( 'U.u', number_format( (float) $microtime, 3, '.', '' ) );
 		return $microtime_date->format( $format );
 	}