Récupérer date de modification fichier [Résolu]

[WibiMaster]

Bonjour,

J'espère que je post dans la bonne section ; cette fois je reviens avec un projet qui me pose encore des soucis...

Projet de base : gestion de versioning de fichier en ligne.

Option 1 : algo de comparaison des fichiers uploadés avec les fichiers présents sur le serveur. Gros problème : fichier de 30 000 lignes = ressources mangées toutes crues.

Option 2 : celle qui me pose problème ^^
Le but est de récupérer, à l'upload, la date de dernière modification du fichier (inclus dans ses tags), que $_FILES ne semble pas récupérer d'emblée...

Existe-t-il donc une solution quelconque (même mélant du JS) pour obtenir cette date ?

Les fonctions existantes en PHP semblent chaque fois prendre la date du fichier sur le serveur (ou, autre cas, dans le répertoire temporaire pendant l'upload, donc franchement pas utile...)

Je sèche vraiment... Et j'en appel à vos cerveaux

Merci d'avance à ceux qui prendront le temps de me lire et de m'aider !

[stealth35]

en javascript c'est plus ou moins possible avec l'upload des navigateur grace au FileAPI qui lui récupères le lastModifiedDate :
http://www.w3.org/TR/FileAPI/#dfn-file

[WibiMaster]

Uniquement en JavaScript, un peu dommage, mais ça peut me convenir.. Je vais lire la doc' avec attention.

Ce qui me fais le plus peur, c'est le terme "HTML 5" qui revient régulièrement, niveau compatibilité c'est pas encore ça :/

Merci quand même, je vais faire mes tests et tenir au courant des résultats !

[EDIT]
Super pratique cette API Par contre, niveau compatibilité c'est vraiment une galère. Il me faudrait une solution qui prenne au moins en compte IE8, voir IE7... (le 6 je laisse tomber xD)

Ou sinon, plus simplement, comment vérifier que deux fichiers sont différents ? En admettant qu'ils portent le même nom, que l'un comporte "ae" et l'autre "ea", ils font donc également le même poids, et en évitant de les "lire" parce que trop gourmand pour les gros gros fichiers, il reste quoi comme solution ?

[stealth35]

tu peux faire une comparaison de hash
http://fr.php.net/manual/fr/function.hash-file.php

si le hash est diffèrent ca veux dire que les fichiers le sont

[WibiMaster]

Dommage pour la date qui n'est pas récupérable, mais le md5_file() m'ira tout de même, avec quelques modif's je devrais m'en dépêtrer ^^

Merci encore, j'te met +1

[stealth35]

Envoyé par WibiMaster

Dommage pour la date qui n'est pas récupérable, mais le md5_file() m'ira tout de même, avec quelques modif's je devrais m'en dépêtrer ^^

Merci encore, j'te met +1

le problème c'est que ca sera uniquement du coté serveur, donc obligé d 'upload le fichier pour voir si il est diffèrent