eliminare estensione di un file

[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'