<SCRIPT LANGUAGE="JavaScript">
<!--
document.write('Letzte Änderung erfolgte am: ' + document.lastModified);
//-->
</SCRIPT>

man kann ja mit diesem script die letze änderung der aktuellen datei anzeigen, gibt es auch ein script equivalent, das die letzte änderung einer anderen datei anzeigt?

sodass man beispielsweise auf der index.php anzeigen kann, wann die hallo.php das letzte mal geändert wurde?