Name: PHP_Timer
Contact: Sebastian Bergmann <sb@sebastian-bergmann.de>
