How to convert java timestamp to php timestamp?

Question

how can I convert a Java timestamp like this one 1335997853142 to a format that php can read? 1335997853142 should be 02 May 2012 22:30:53

Answer 1

It's a timestamp in microtime

Use

$time = date("whatever you need", $javatime / 1000);