CODE EXAMPLE FOR PHP

php change file extension

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