在使用workman的定时器时，出现如下的报错，一直找不到解决方法，请问该怎么使用

Timer::add(10, function(){
    echo "timer\n";
});