Warning: require(Benchmark/Timer.php): failed to open stream: No such file or directory in /sites/aghdrive/var/pear/doc/Benchmark/doc/timer_example.php on line 26

Fatal error: require(): Failed opening required 'Benchmark/Timer.php' (include_path='.:/usr/local/lib/php') in /sites/aghdrive/var/pear/doc/Benchmark/doc/timer_example.php on line 26