filemtime() constant during execution despite changes to file
===

Try running

    <?php
      echo filemtime("test.txt")."\n";
      sleep(4);
      file_put_contents("test.txt", "test");
      echo filemtime("test.txt")."\n";
    ?>

For me the command line printed:

    1343490984
    1343490984

That can't be right, can it?