phpでミリ秒のタイムスタンプを扱いたい

Question

phpではmicrotimeメソッドを使用することでマイクロ秒単位のタイムスタンプを取得することが出来ますが、
これをJavaScriptのDate.now()で取得出来るようなミリ秒単位のタイムスタンプにしたい場合はどうすれば良いでしょうか？

Comments

[m.ts10806]

自身が調べたこと試したことを記載してください。
質問に書いていないことは伝わりません

Answer 1

<?php
function microtime_int(){
  list($usec, $sec) = explode(" ", microtime());
  return (int) (((float)$usec + (float)$sec)*1000);
}
?>
<script>
const time=<?=microtime_int();?>;
console.log(new Date(time));
</script>

Comments

[yambejp]

phpマニュアルmicrotimeから半分パクリです
ちなみにphpはサーバー時間を返し、jsはローカル時間を返すので
同じ時間を刻んでいるとは限りません

Answer 2

つかったことがないけど、一応あります
PHP: HRTime - Manual