PHP Microtime à MS

$milliseconds = floor(microtime(true) * 1000);
Matt Nelson