Deprecated en PHP 8.3 dans l'affichage humain du temps de la commande SPIP Cli indexer:indexer

Par exemple :

Deprecated: Implicit conversion from float 928.9519786834717 to int loses precision in /var/www/html/plugins/plugins/indexer/spip-cli/IndexerIndexer.php on line 160

MR à venir.