par
@rthur » 21 sept. 2008, 10:44
Hello,
Voici une solution qui fonctionne grâce à la fonction microtime (issu des commentaires de la fonction date):
function udate($format, $utimestamp = null) {
if (is_null($utimestamp)) {
$utimestamp = microtime(true);
}
$timestamp = floor($utimestamp);
$milliseconds = round(($utimestamp - $timestamp) * 1000000);
return date(preg_replace('`(?<!\\\\)u`', $milliseconds, $format), $timestamp);
}
print udate('H:i:s.u')."<br />";
print udate('u');
Hello,
Voici une solution qui fonctionne grâce à la fonction microtime (issu des commentaires de la fonction date):
[php]function udate($format, $utimestamp = null) {
if (is_null($utimestamp)) {
$utimestamp = microtime(true);
}
$timestamp = floor($utimestamp);
$milliseconds = round(($utimestamp - $timestamp) * 1000000);
return date(preg_replace('`(?<!\\\\)u`', $milliseconds, $format), $timestamp);
}
print udate('H:i:s.u')."<br />";
print udate('u');[/php]