php-timer is a stub port
