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