¿Cómo obtener la hora actual en milisegundos en PHP?

¡Hola a todos! Acabo de empezar a aprender PHP y me encontré con esta tarea: necesito medir el tiempo de ejecución de un script con precisión de milisegundos. Sé que en PHP existe la función time() que devuelve la marca de tiempo actual en segundos, pero eso no es suficiente — necesito milisegundos. Intenté usar microtime(), pero no entendí bien cómo convertirla a un formato conveniente. Esto es lo que escribí: ```php ``` Esto funciona, pero solo da segundos. Y necesito algo como: "Tiempo de ejecución: 0.023 segundos" o simplemente el valor en milisegundos, por ejemplo 23 ms. He oído que se puede usar microtime(true), pero no entiendo cómo trabajar con ella correctamente. También me interesa saber si en PHP hay una función que devuelva directamente la hora actual en milisegundos (por ejemplo, un timestamp como 1700000123456). Díganme cómo obtener correctamente la hora actual en milisegundos y