Invece non mi funziona gettimeofday()...
Codice PHP:
<?
$tempo 
gettimeofday()
$sec $tempo['sec'];
$ora $tempo['dsttime'];
print (
$sec ' ' $ora);
?>