memorizzare interi da file di testo

[k.b]

Gia' a quanto pare questo forum si e' mangiato un backspace:

$numeroni = file_get_contents('prova.txt');
$numeri = preg_split("/\\s+/", $numeroni);