remove static calls to PHP_Timer