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!

[RoTeam]

Perchè chiedi se è corretto senza nemmeno averlo testato prima?

Comunque potresti fare anche cosi

$name = explode('.',$file_upload['name']);
$file_upload['name']=$name[0].'_'.$id_evento.'.pdf'; 

[eiyen]

o roba tipo:

function AddTxtBeforeExt($filename, $txt) {
  $ext = '';
  $ext = pathinfo($filename, PATHINFO_EXTENSION);
  if (is_string($ext)) {
    $filename = substr($filename, 0, -strlen($ext)-1);
  };
  $filename .= $txt.'.'.$ext;
  return ($filename);
};
// AddTxtBeforeExt('prova.txt', '-esempio') == 'prova-esempio.txt'