Witam serdecznie.

Jak powinien wygladac kod obliczajacy dlugos ladowania strony w formacie:

0,7873

Dotychczasowo uzywalem kodu:
[php:1:3aceb66431]<?php
function getmicrotime(){
list($usec, $sec) = explode(" ",microtime());
return ((float)$usec + (float)$sec);
}

$time_start = getmicrotime();

for ($i=0; $i < 1000; $i++){
}

$time_end = getmicrotime();
$time = $time_end - $time_start;

echo $time;
?>[/php:1:3aceb66431]

ale uzyskiwalem wynik: 0.04563204765319824 ktory jest dla mnie za dlugi... wolalbym 0,0456 . Z gory dzieki za pomoc.

:arrow: [manual:cb7dbc61ac]round[/manual:cb7dbc61ac]

[php:1:0f1334c234]<?php
echo( number_format($time, 4, '', '') );
?>[/php:1:0f1334c234]

float round ( float wartość [, int dokładność])

a kropke jak zamienic na przecinek?

:arrow: [manual:7f8afbba49]number_format[/manual:7f8afbba49]

[php:1:7f8afbba49]<?php
// French notation
$nombre_format_francais = number_format($number, 2, ',', ' ');
// 1 234,56
?>[/php:1:7f8afbba49]