[php] Änderungsdatum von Dateien

[Ralf Wistorf]

Hallo Liste,

Gibt es in PHP eine Funktion, die mir das Datum der letzten Änderung einer Datei
zurück gibt, welche nicht auf dem eigenen Server liegt, zum Beispiel von
html-Dateien im Netz? filemtime geht nicht. Vielleicht hat ja auch jemand schon
so ein Script....  

MfG
Ralf