Codice PHP:
<?php
// Leggi il contenuto di dati.txt
$contenuti = file_get_contents('dati.txt');
// Crea un array di valori dividendo in base agli spazi
$array_in = explode(' ', $contenuti);
// Crea un array con la sequenza desiderata di valori
$array_out = array();
foreach ( array(1,0,2,30,5,11,10,3) as $id ) {
$array_out[] = $array_in[$id];
}
// Unisci l'array finale in una stringa con i valori separati da virgole
$output = implode(',', $array_out);
// Scrivi sul file di output
file_put_contents('dati2.txt', $output);