ho risolto con
Codice PHP:
foreach($vecchio as $valore) 
$nuovo[] = $valore; 
non ho provato sort , ma grazie x l'info!

grazie a tutti!