$time = -microtime(true); // Do something $time += microtime(true);
Last modified at Fri May 6 05:57:26 UTC 2022