Non credo sia installata (pc hosting) perchè avevo già provato e non funzionava.

Girando sul forum di html.it ho trovato il link a questa funzione, che mi genera un array multidimensionale da cui poi vado a costruirmi gli array che mi interessano in questo modo

Codice PHP:
//costruisco l'array $idfile
$num = count ($xml[menu][_c][quinquenni][_c][anni]);
$idfile = array();
for ($mul = 0; $mul < $num; ++$mul) {
$idfile [$mul] = $xml[menu][_c][quinquenni][_c][anni][$mul][_a][idfile];
} 
Funziona (ottengo ciò che voglio) però mi sembra un metodo un po' contorto e siccome conosco pochissimo di php mi chiedevo se ci fosse un metodo più semplice.

Comunque grazie x la risposta