eliminare estensione di un file

[Chiara88d]

Ciao,ho la necessita' di eliminare l'estensione dal nome di un file per poi aggiungere altri valori prima di rinserire alla fine l'estensione del file.

vi posto il codice,secondo voi e' corretto?

 if(strstr($file_upload['name'],".pdf"))
     {
      $file_upload['name']=substr($file_upload['name'],0,strpos($file_upload['name'],".pdf"));
      $file_upload['name']=$file_upload['name']."_".$id_evento.".pdf";
         
     } 

grazie!