riordino delle chiavi di un array

[carlo2002]

Supponiamo che mi ritrovo un array con questa associazione tra chiavi e valori

[0] gatto
[1] cane
[2] cavallo
[8] pesce
[12] mucca

se voglio ottenere un riordino delle chiavi tipo

[0] gatto
[1] cane
[2] cavallo
[3] pesce
[4] mucca

esiste una funzione specifica per farlo, la sto cercando ma non trovo niente

[Alhazred]

$array = array();

$array[4] = 'pippo';
$array[7] = 'ciccio';

print_r($array); //stampa Array ( [4] => pippo [7] => ciccio )

$array = array_values($array);

print_r($array); //stampa Array ( [0] => pippo [1] => ciccio ) 

[carlo2002]

Grazie