Come posso fare se voglio leggere un file con PHP? Se il nome del file fosse "statico" (ad esempio, file.txt) non ci sarebbero problemi ma siccome il nome è variabile (export_numeriacaso.txt) come posso fare?