utility class for timing in PHP
