#5 include microseconds when calculating REQUEST_TIME in PHP < 5.4