[php] Änderungsdatum von Dateien

[Ralf Wistorf]

Am Tue, 13 Feb 2001 schrieben Sie:
> > 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....
> 
> man korrigiere mich, aber das kann man nicht auslesen, sofern man keinen
> zugriff auf den datei-index hat - dort ist es meistens aufgelistet, aber
> sonst? auch noch per php? ... mit javascript könnte man das lösen - das
> funktioniert imho aber auch nur für das gerade aktuelle dokument - da js
> sehr tief in einer sandbox arbeitet ist zugriff da wohl auch nicht
> möglich.
> 
> mfg
> Kurt

aber wie findet ein Proxyserver heraus, ob er die Datei neu, oder aus dem Cache
laden muß? irgendwo muß das doch in der Datei vermerkt sein?