Extension de fichier de modification PHP

$newExtension = 'txt';
$info = pathinfo($filename);
$filename = $info['dirname']."/".$info['filename'].'.'.$newExtension;
TomatenTim