PHP_Timer 1.1 has not been released yet as stable and PHPCPD has not been updated for its new API