The snippet from @Tobion is what I would have used.

Also, I thought about that before and I did not do it at that time as semantically, the time does not mean the same thing depending on whether we have a kernel or not. So, if we want to go down this road, I would just use the variable from PHP and remove usage of our own start time.