<html>
<head></head><body>
<?php
$filename = 'english.dat'; //数据文件名
$refresh = 1; //更新周期（以秒为单位，可根据需要自行调整）
$data = file($filename); //将数据文件装入一个数组
$num_lines = count($data); //数据文件行数，也就是记录条数
mt_srand(floor(time() / $refresh));
$id = mt_rand(0, $num_lines - 1); //随机选择一条记录号
$content = chop($data[$id]); //根据记录号选择相应的数据，并截去最后的换行符
echo $content; //用javascript形式输出数据
?></body>
</html>
这个是我从网上找到定时更新页面的源码，我想问下这个实现定时功能就是没有注释那段是什么意思，我不是很理解。
<head></head><body>
<?php
$filename = 'english.dat'; //数据文件名
$refresh = 1; //更新周期（以秒为单位，可根据需要自行调整）
$data = file($filename); //将数据文件装入一个数组
$num_lines = count($data); //数据文件行数，也就是记录条数
mt_srand(floor(time() / $refresh));
$id = mt_rand(0, $num_lines - 1); //随机选择一条记录号
$content = chop($data[$id]); //根据记录号选择相应的数据，并截去最后的换行符
echo $content; //用javascript形式输出数据
?></body>
</html>
这个是我从网上找到定时更新页面的源码，我想问下这个实现定时功能就是没有注释那段是什么意思，我不是很理解。
$id = mt_rand(0, $num_lines - 1);
这个id在这个30秒都是不发生变化的，那么下个30秒内肯定就会发生变化，这样就起到了30一个周期定时刷新