Modifier l'extension du fichier

Question

Comment modifier un nom de fichier d'extension de fichier en PHP? Par exemple: $filename='234230923_picture.bmp' et je souhaite que l'extension soit remplacée par jpg.

Answer 1

Il suffit de le remplacer par expression rationnelle:

$filename = preg_replace('"\.bmp$"', '.jpg', $filename); 

Vous pouvez également étendre ce code pour supprimer d'autres extensions d'image, non seulement bmp:

$filename = preg_replace('"\.(bmp|gif)$"', '.jpg', $filename); 

Answer 2

rename() le fichier, en substituant la nouvelle extension.

Answer 3

Vous pouvez l'utiliser pour renommer le fichier http://us2.php.net/rename et ce http://us2.php.net/manual/en/function.pathinfo.php pour obtenir le nom de base du fichier et d'autres informations d'extension ..

Answer 4

$newname = basename($filename, ".bmp").".jpg"; 
rename($filename, $newname); 

Rappelez-vous que si le fichier est un fichier bmp, en changeant le suffixe ne changera pas le format :)

Answer 5

Ne pas utiliser regex (comme l'exemple basename), mais permettant de multiples possibilités d'extension (comme l'exemple regex):

$newname = str_replace(array(".bmp", ".gif"), ".jpg", $filename); 
rename($filename, $newname); 

Bien sûr, toute opération remplacer simple, alors que regex alors moins cher, remplacera également un .bmp au milieu du nom du fichier. Comme mentionné précédemment, cela ne va pas changer le format d'un fichier image. Pour ce faire, vous devez utiliser une bibliothèque graphique.