microtime(true) - Unterschied auf lokalem PC und Webserver

[loddarmattheus]

Hallo Leute,
ich habe mal wieder ein Problem, diesmal mit microtime.
Wenn ich folgenden Code einmal auf dem Webserver und einmal auf dem lokalen Webserver (Apache via Xampp) aufrufe

<?php
echo round(microtime(true) * 1000);

dann erhalte ich auf dem lokalen Server den richtigen Timestamp, nämlich 1660295732577.
Aber auf dem Webserver sieht der Timestamp dann so aus: 1.66029576467E+12.

Leider bringt mir Google auch keine Lösung. Woran könnte es liegen?

 

[Yaslaw]

mach man kein echo sondern ein var_dump(). Dann siehst du eher, was in der Variable ist.

 

[Zvoni]

Beide Ergebnisse sind "richtig", da microtime(true) sowieso einen Float zurückgibt.
Bedeutet: Das Problem ist eher die Formatierung der Anzeige auf dem Web-Server.
Hast du mal versucht, die Ausgabe zu formatieren? number_format?
Vielleicht hat der Webserver andere Format defaults

 

[loddarmattheus]

Danke Zvoni, das wars. Mit number_format hab ich dem Webserver das Fürchten gelehrt