{utility class for timing in PHP}

WWW: https://github.com/sebastianbergmann/php-timer
