Salve a tutti, ho creato questo script per copiare il nome di un file eliminando l'estensione .est:
$uploadsNeeded = $_POST['uploadsNeeded'];
$cartella = $_FILES['uploadFile'];
for($i = 0; $i < $uploadsNeeded; $i++){
$file_name = $_FILES['uploadFile'. $i]['name'];
$file_name = stripslashes($file_name);
$file_name = str_replace("'","",$file_name);
$copy = copy($_FILES['uploadFile'. $i]['tmp_name'],$file_name);
$est=".est;//ESTENSIONE DA ELIMINARE
$app=explode("$est",$file_name);
$id=$app[0];
echo "$id";
I file da copiare possono essere del tipo "numero+lettere.est" (esempio: "242389pippo.est" oppure "242389_pippo.est" o ancora "2423_89pippo.est"); quello che vorrei fare è togliere tutto tranne il nome del file, ed ottenere quindi "242389" oppure "2423_89", eliminando quindi lettere e underscore; in pratica mi serve tutto fino all'ultimo numero. Qualcuno saprebbe consigliarmi come fare? Grazie