php - 拡張子を変更せずにコピー中に名前を変更する方法は?

Question

拡張子を変更せずにコピーするときに、PDFファイルのファイル名を変更する必要があります。

$title = strip_tags($link1->plaintext);
$pdfLink = strip_tags($link2->title);
copy($pdfLink, $title);

ファイル名を変更したいのです$titleが、拡張子も type:file に変更されました。拡張ファイルを保持する方法は? ありがとうございました

Answer 1

を使用pathinfoしてファイル拡張子を取得できます

if(file_exists($pdfLink))
{
    $titleExtention = pathinfo($pdfLink,PATHINFO_EXTENSION);
    copy($pdfLink, $title . ".". $titleExtention) ;
}