Enregistrement de fichiers avec le nom souhaité
Lors du téléchargement et de l'enregistrement de fichiers avec PHP, vous pouvez rencontrer un scénario dans lequel vous souhaitez attribuer un nom spécifique au fichier enregistré. Par défaut, le serveur attribuera le nom de fichier d'origine.
Considérons le code suivant :
$target_Path = "images/"; $target_Path = $target_Path.basename($_FILES['userFile']['name']); move_uploaded_file($_FILES['userFile']['tmp_name'], $target_Path);
Si vous essayez d'enregistrer le fichier sous "myFile.png" en remplaçant la ligne suivante :
$target_Path = $target_Path.basename($_FILES['userFile']['name']);
avec :
$target_Path = $target_Path.basename("myFile.png");
ça ne marchera pas.
Pour y parvenir, vous pouvez extraire l'extension du fichier téléchargé et l'ajouter à votre nom de fichier souhaité :
$info = pathinfo($_FILES['userFile']['name']); $ext = $info['extension']; // get the extension of the file $newname = "newname.".$ext; $target = 'images/'.$newname; move_uploaded_file($_FILES['userFile']['tmp_name'], $target);
En suivant ces étapes, vous pouvez enregistrer le fichier téléchargé sous le nom souhaité tout en conservant l'extension de fichier correcte.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!