如何使用定时器功能，每间隔一段时间，给用户发送消息

如何定时
定时最简单的方法是通过 linux的cron来做，也就是定时运行一下php的脚本。缺点是corn脚本最小时间间隔为1分钟，如果时间间隔符合你的需求则可以使用cron，具体操作可以百度下
如果你需要秒级别的定时，则可以使用php脚本来做。php脚本里面一个while死循环，里面配合sleep/usleep。然后运行nohup php youcron.php & 就一直后端运行了。缺点是如果脚本写的不健壮，出现FatalError这个脚本就被终止了
也可以使用workerman来做定时，workerman中有一个设定定时任务的接口 \Man\Core\Lib\Task 可以在workerman中直接调用。