Javascript （int）10000/1000在php中做什么？

我在PHP中寻找与javascript中类似的setInterval方法：

setInterval(function() {
  /* do something amazing every ten seconds */
}, 10000);

于是我就想到了这个答案：， 当我在玩函数时，我意识到我不知道这条线的作用：

$seconds=(int)$milliseconds/1000;

所以我研究了一下，但我能找到的最接近的是：

在我的网站上使用它之前，我想充分了解它的作用，所以有人能告诉我这条线的作用吗

 function setInterval($f, $milliseconds) {
   $seconds=(int)$milliseconds/1000;
   while(true) {
     $f();
     sleep($seconds);
   }
 }

编辑： 在进一步调整函数后，我得出以下结论：

function setInterval2($callBack, $seconds) {
  while(true) {
    $callBack();
    sleep($seconds/1000);
  }
}

这两个函数（函数的php版本和javascript版本）是否做了相同的事情并得到相同的结果？
两者之间有区别吗？
提前谢谢。

这是：

(int)$milliseconds/1000;

基本上与：

floor($milliseconds/1000);

---

除法的结果是一个浮点值

（int）

将其转换为整数并切去小数。

这可能很有用：感谢大家的快速回答和阅读材料。请注意，

setInterval（）

的实现与JavaScript版本不同。JS one允许您在事件触发时设置回调，而PHP one只是阻止脚本在指定的持续时间内执行任何操作。当您说“同时执行两个函数”和“两者之间的差异”时，您指的是您发布的两个PHP函数还是JS函数和PHP函数（我假设是最后一次迭代）？谢谢你的回答：）