腾讯视频NBA比赛得分和时间实时刷新原理？

Question

问题如下：

如上图所示，地址，里面的时间和得分都会过一段时间（一般是几秒-十几秒）会自动刷新一次，这个刷新的背后是websocket的实时推送吗？还是ajax的定时请求刷新？又或者是其他技术呢？

我查看页面的源代码，发现腾讯做了特殊的处理，基本没有什么信息，什么websocket和ajax相关的信息都没有，求解？