number_format

pestphp/pest

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             if ($exitCode === 1) {

                $this->output->writeln(sprintf(

                    "\n  <fg=white;bg=red;options=bold> FAIL </> Code coverage below expected <fg=white;options=bold> %s %%</>, currently <fg=red;options=bold> %s %%</>.",

                    number_format($this->coverageMin, 1),

                    number_format($coverage, 1)

                ));

            }

src/Plugins/Coverage.php

<?php                 $this->output->writeln(sprintf(

                    "\n  <fg=white;bg=red;options=bold> FAIL </> Code coverage below expected <fg=white;options=bold> %s %%</>, currently <fg=red;options=bold> %s %%</>.",

                    number_format($this->coverageMin, 1),

                    number_format($coverage, 1)

                ));

            }

src/Plugins/Coverage.php

<?php             $percentage = $file->numberOfExecutableLines() === 0

                ? '100.0'

                : number_format($file->percentageOfExecutedLines()->asFloat(), 1, '.', '');



            $uncoveredLines = '';

src/Support/Coverage.php

<?php         $totalCoverageAsString = $totalCoverage->asFloat() === 0.0

            ? '0.0'

            : number_format($totalCoverage->asFloat(), 1, '.', '');



        renderUsing($output);

        render(<<<HTML

src/Support/Coverage.php