number_format

composer/composer

Supported Versions: PHP 4, PHP 5, PHP 7, PHP 8

Format a number with grouped thousands

        <?php number_format(    float $num,    int $decimals = 0,    ?string $decimal_separator = ".",    ?string $thousands_separator = ","): string
    

<?php         $this->io->write(sprintf(

            '<info>Found %s package versions referenced in your dependency graph. %s (%d%%) were optimized away.</info>',

            number_format($total),

            number_format($filtered),

            round(100/$total*$filtered)

        ), true, IOInterface::VERY_VERBOSE);

src/Composer/DependencyResolver/PoolBuilder.php

<?php         $this->io->write(sprintf(

            '<info>Found %s package versions referenced in your dependency graph. %s (%d%%) were optimized away.</info>',

            number_format($total),

            number_format($filtered),

            round(100/$total*$filtered)

        ), true, IOInterface::VERY_VERBOSE);

src/Composer/DependencyResolver/PoolBuilder.php