Forum d'entraide PHPFrance

Bonjour
Je souhaiterais modifier l'extension d'un fichier en upload, plus precisement passer les .JPG en .jpg - si les majuscules sont présentes.
j'ai le debut mais pas l'essentiel

  $extension = strrchr($_FILES['actualite_photo']['name'], '.');
if( $extension="JPG"){...}

Ce que j'aimerais c'est recuperer ensuite $_FILES['actualite_photo'] avec l'extension corrigée car elle est traitée par le script d'upload et celui d'insertion dans la base.
Merci

Bonjour,
je pense qu'il vaudrait mieux utiliser l'entrée $_FILES['userfile']['type'] pour vérifier si le fichier est une image jpg ou non, et ensuite, l'extension tu l'imposes au moment du move_upload_file()...
Tu mets l'extension que tu souhaites (tu peux même ne pas en mettre...)

Mon problème ne tiens pas au type d'extension mais a l'utilisation de majuscule dans certains fichiers jpg, je voudrais tous les mettre en minuscule, pour des raison de coherence de code dans mon système

l'extension tu l'imposes au moment du move_uploaded_file()...
Tu mets l'extension que tu souhaites (tu peux même ne pas en mettre...)

move_uploaded_file ( string $filename , string $destination )

Donc dans $destination, tu peux bien mettre ce que tu veux...

Je plussois la réponse de jojolapine

Quant à la façon de faire, dans la mesure où tu peux coller l'extension que tu veux, rien ne t'empêche de récupérer l'extension actuelle du fichier (tel que tu le fais) et de la passer en minuscule avec strToLower(). Tu peux bien d'ailleurs passer tout le nom du fichier en minuscule avec cette fonction. Bref, tu fais bien comme tu veux

oK
MERCI pour le tuyaux je m'en suis sorti avec notemment la fonction strToLower().