Что я пытаюсь сделать с этим кодом, так это извлечь и показать содержимое из html-файла всякий раз, когда что-то в нем изменяется.
Использование метаданных обновления не помогает, и я пытался заставить это работать правильно, поскольку вы не можете выполнять бесконечный цикл с php.
<?php
$url = 'http://someIP/';
?>
<script>
setTimeout(function() { document.getElementById('loader') }, 12000);
</script>
<div id="loader">
<?php
$LastMod = filemtime($url . "../web/content.html");
clearstatcache();
if(($LastMod +60) > time())
{
echo file_get_contents($boturl . "../web/content.html");
sleep(10);
}
?>
</div>