PHP_Timer 1.0
=============

This is the list of changes for the PHP_Timer 1.0 release series.

PHP_Timer 1.0.2
---------------

* `$_SERVER['REQUEST_TIME_FLOAT']` is used when available.

PHP_Timer 1.0.1
---------------

* No changes.
