$nome= 'file.txt';
$nome_nuovo = explode(".",$nome);
echo $nome_nuovo[0];