Add missing dependency on PHP_Timer