Utility class for timing

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