[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