Run ❯
×
Change Orientation
Change Theme, Dark/Light
Go to Spaces
"; // Print the float from gettimeofday() echo gettimeofday(true) . "
"; // Return current time; then format the output $mytime=gettimeofday(); echo "$mytime[sec].$mytime[usec]"; ?>