devo calcolare il tempo computazionale di una mia procedura php.
setto un tempo start all'inizio e un tempo end alla fine e echo la differenza.
ma il date() e il time() mi danno al massimo valori in secondi (o sbaglio?) quindi come faccio?