nicht angemeldet
Das ist die schlechteste Idee. get_headers() sendet einen GET-Request, d.h. du kriegst zwar das Modifikationsdatum, aber PHP holt sich intern die GESAMTE DATEI - und zwar ohne, dass dein Code diese Datei kriegen könnte.
Das bedeutet, dass das gesamte ZIP bei jedem Testen des Modifikationsdatums transferiert wird - und wenn du feststellst, dass die Datei sich geändert hat, musst du sie danach NOCHMAL vom Server holen.
Effizient ist anders.
Bist du sicher? Das Ergebnis ist sehr schnell da, auch wenn es einige Minuten dauert wenn ich die Datei wirklich mal runterlade. Wo würde die Datei denn zwischengespeichert wenn sie ohne mein Wissen geladen wird?
Ich habe jetzt noch mal mit einer neuen Datei getestet. Das Ergebnis war schnell da und es entstand auch nicht der Traffic der nötig gewesen wäre um die Datei zu laden. (Entwickle lokal)
Aber ich werde morgen noch mal genauer lesen...
Grüße!
Sebastian
Der Martin