Elimina estensione ad un file

/*
 * ELIMINA ESTENSIONE DEL FILE
 * 
 * Restituisce una stringa che non ha più i caratteri che sono dopo l'ultimo . (punto) 
 * 
 * 
 * @param  string  la stringa da cui estrarre le parole
 * @param  il numero di parole da estrarre
 * @return  string la string composta da n parole
 */
function elimina_estensione_nome_file($stringa)
{
	$stringa = strtok($stringa,'.');
	return $stringa;
}