Php 如何使用WinBinder计时器检查文件大小？

我需要通过计时器检查文件大小是否已更改，但即使文件更大，它仍返回相同的大小

定时器设置正确，一切正常，但实际情况并非如此

我尝试将文件大小赋予一个变量，赋予一个函数，甚至直接将filesizepath/to/file放入其中，但没有任何效果，它总是返回最初的零大小

我还尝试从一开始就给文件一些内容，然后它返回正确的大小，但是当大小改变时，它仍然返回原始大小

以下是负责检查的代码部分：

case ID_TIMER:
    $filesize = filesize(cesta."/db/scanned.txt");
    if($filesize > $filesize_last) {
      wb_message_box($window,"Zvětšeno","Test");
    }
    break;

---

所以，如果有人也会寻找这个，我做了一个变通办法

Winbinder由于未知原因无法处理文件大小，因此需要使用类似

strlen(file_get_contents(cesta."/db/scanned.txt"));

这很好用