decimi di secondo in una data

[gio73lombo]

Salve a tutti, ho un dubbio, se voglio stampare a video una data scrivo:
$data=date("Y-m-d H:i:s",time());
echo $data;

vedrei anno-mese-giorno ore:minuti:secondi
(es. 2012-04-10 15:35:12)

ma se volessi far vedere anche i decimi di secondo come dovrei scrivere riga?

sempre se è possibile
grazie a tutti.

[eiyen]

$ts = time();
$data = date("Y-m-d H:i:s", $ts) . '.'.(date("u",$ts)/1000000*100);
print $data; 

se usi "u", che però ha dei bug (vedi docs) e devi implementare una funzione di supporto...

[_debo]

Questa del bug mi manca... di che si tratta? A che doc ti riferisci?

[eiyen]

vedi bug "u" date in php dove si riferisce anche una funzione presente nella pagina function.date.php

[_debo]

Perdonami ma non è un bug ma un behaviour.

Note:
Since this function only accepts integer timestamps the u format character is only useful when using the date_format() function with user based timestamps created with date_create().

http://us.php.net/manual/en/function.date.php#93891

[gio73lombo]

ho risolto, grazie!! eiyen.