Como obter a hora atual em milissegundos em PHP?

Olá a todos! Comecei a estudar PHP e me deparei com a seguinte tarefa: preciso medir o tempo de execução de um script com precisão de milissegundos. Sei que no PHP existe a função time(), que retorna o timestamp atual em segundos, mas isso não é suficiente — preciso de milissegundos. Tentei usar microtime(), mas não entendi muito bem como convertê-la para um formato conveniente. Aqui está o que escrevi: ```php ``` Isso funciona, mas dá apenas segundos. Preciso de algo como: "Tempo de execução: 0.023 segundos" ou simplesmente o valor em milissegundos, por exemplo 23 ms. Ouvi dizer que posso usar microtime(true), mas não entendo como trabalhar com ela corretamente. Também in