sebastianbergmann/php-timer — comment on commit 7394dbedbaa5304d3279f3ac46132871aefa793b
File: PHP/Timer.php line 150
By yethee:

Here should be `REQUEST_TIME_FLOAT`?