Scusate se l'argomento è già stato trattato, ma la ricerca è adesso non funzionante
Mi serve sapere i decimi, centesimi e millesimi di secondo con PHP.
Pensavo di sbrigarmela con date() ma, andando a vedere il manuale, mi sembra che questa funzioni si fermi solo ai secondi
Esiste quindi una funzione per calcolare anche questi altri parametri?
Grazie in anticipo