3v4l.org

run code in 300+ PHP versions simultaneously
<?php $a = new DateInterval('PT1S'); $a->f = 5; $b = DateTime::createFromFormat('Y-m-d H:i:s.u', '2000-1-1 10:01:01.250'); $b->sub($a); print_r($b->format('H:i:s.v'));

preferences:
32.12 ms | 402 KiB | 5 Q