$time = -microtime(true); // Do something $time += microtime(true);
Last modified at Wed May 21 17:26:47 UTC 2025