[]PHPを使用してJava時間を取得する方法

[ヘルプ] PHP を使用して Java 時間を取得するにはどうすればよいですか?
java:
コード:
String timestamp= new java.util.Date().getTime() + "";
インスタンス値: 1338879424123

ここで、次を使用する必要があります。 phpコード 同じ形式で時刻を取得するには、書き方を教えてください、よろしくお願いします。



-----解決策---------
ああ、ミリ秒単位です

echoround(microtime(1)*1000);