codice:
// QUI METTI IL NOME DEL FILE...
$nome_file = "export/nome_del_file.txt";
$handle = fopen($nome_file, "w+");
fwrite($handle, $str);
$dimensioni_file = filesize($nome_file);