How to get current time in milliseconds in PHP?

Question

time() is in seconds - is there one in milliseconds?

Answer 1

The short answer is:

$milliseconds = round(microtime(true) * 1000);