ミリ秒まで取得する

function mtime() {
    list($msec, $sec) = explode(" ", microtime());
    return (float)$sec + (float)$msec;
}

via

• phpでミリ秒を求めるには、microtime()を利用する - くらげのChangeLog