3v4l.org

run code in 300+ PHP versions simultaneously
<?php $float = float(1410948122721); echo number_format($float,0,'.',''); //$seconds = $mil / 1000; //echo gmdate("Y-m-d H:i:s", $seconds);

preferences:
22.35 ms | 402 KiB | 5 Q