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

Use the date() function in php, the parameters are found here: http://php.net/manual/en/function.date.php