Conversion of java timestamp and PHP timestamp phptime ()

Java timestamp and PHP timestamp conversion phptime () summarizes the conversion problem between java timestamp and PHP timestamp: due to different precision, the length is inconsistent and direct conversion error occurs. The JAVA timestamp length is 13 bits, for example, 1294890876859PHP timestamp length is 10 bits. for example, the last three digits of 1294890859 are different. The JAVA timestamp is used in PHP. remove the last three digits, for example, 1294 java timestamp and PHP timestamp conversion php time ()

To sum up the conversion problem between the java timestamp and the PHP timestamp, the length is inconsistent due to different precision, and the direct conversion error occurs.
JAVA timestamp length is 13 bits, for example: 1294890876859 PHP timestamp length is 10 bits, for example: 1294890859
The last three digits are different. The JAVA timestamp is used in PHP. the last three digits are removed, for example, 1294890876859-> 1294890876. Result: 11:54:36.

1. Echo date ('Y-m-d H: I: S', '20140901 ');

The PHP timestamp is used in JAVA, and the last three digits are added with 000, for example: 1294890859-> 1294890859000
Result: 11:54:19

1. SimpleDateFormat df = new SimpleDateFormat ("yyyy-MM-dd HH: mm: ss ");
2. String dateTime = df. format (1294890859000L );???????????????
3. System. out. println (df );

To sum up the conversion between java timestamps and PHP timestamps:
Due to different precision, the length is inconsistent and direct conversion is incorrect. JAVA timestamp length is 13 bits, for example: 1294890876859 PHP timestamp length is 10 bits, for example: 1294890859
The last three digits are different. The JAVA timestamp is used in PHP. the last three digits are removed, for example, 1294890876859-> 1294890876. Result: 11:54:36 echo date ('Y-m-d H: i: S', '123'); use the PHP timestamp in JAVA, add three digits, and add 000, for example, 1294890876-> 1294890859.
Result: 11:54:19 SimpleDateFormat df = new SimpleDateFormat ("yyyy-MM-dd HH: mm: ss"); String dateTime = df. format (1294890859000L );???????????????

System. out. println (df );