Add missing dependency on PHP_Timer
Merge pull request #96 from sebastianbergmann/master

Add missing dependency on PHP_Timer