Wie bekomme ich die aktuelle Zeit in Millisekunden in PHP?

Hallo zusammen! Ich habe gerade angefangen, PHP zu lernen und bin auf folgende Aufgabe gestoßen: Ich muss die Ausführungszeit eines Skripts mit Millisekunden-Genauigkeit messen. Ich weiß, dass es in PHP die Funktion time() gibt, die den aktuellen Zeitstempel in Sekunden zurückgibt, aber das reicht nicht – ich brauche Millisekunden. Ich habe versucht, microtime() zu verwenden, aber ich habe nicht ganz verstanden, wie man es in ein benutzerfreundliches Format umwandelt. Hier ist, was ich geschrieben habe: ```php ``` Das funktioniert, liefert aber nur Sekunden. Ich brauche etwas wie: "Ausführungszeit: 0.023 Sekunden" oder einfach den Wert in Millisekunden, z.B. 23 ms. Ich habe gehört, dass man microtime(true) verwenden kann, verstehe aber nicht, wie man damit richtig arbeitet. Auch int