php ファイル名の拡張子だけを変更したい(PHP)

テキストファイルの拡張子を持つファイル名をHTMLの拡張子に変更する例。

たぶん、もっとスマートな方法があるとは思いますが...

<?php
	function changeSuffix($file_name,$oldsuffix,$newsuffix){
        $len=strlen($oldsuffix);
        $newfilename=substr($file_name,0,strlen($file_name)-$len).$newsuffix;
        return $newfilename;
	}


	$filename="foo.txt";
	$newfilename=changeSuffix($filename,".txt",".html");
	print $newfilename;

?>