怎么从传递文件的过程中取得后缀名？

用 form 上传文件怎么才能得到后缀名呢？

用例程只得到一个随机的无后缀的文件

下面是命名部分
[php]
$the_time = time ();
$local_file = "$upload_dir/$the_time";
if ( file_exists ( '$local_file' ) ){
$seq = 1;
while ( file_exists ( "$upload_dir/$the_time$seq" ) ) { $seq++; }
$local_file = "$upload_dir/$the_time$seq";
};
rename ( $uploadfile, $local_file );
display_page ();
}
function display_page (){echo"123456";}
[/php]