Comment dédoublonner un array en PHP ?

Pour dédoublonner un array en PHP, vous pouvez utiliser la fonction array_flip qui renvoie un tableau dans l'ordre inverse : les clés du tableau deviennent des valeurs et les valeurs du tableau deviennent des clés. De cette manière on dédoublonne l'array. Ensuite on utilise de nouveau array_flip pour remettre le tableau dans le bon sens, puis on peut utiliser la fonction array_values pour réordonner les clés :

<?php
$array = array(3, 5, 2, 5, 1, 3, 4, 4, 5); 
echo "Array d'origine : "; 
print_r($array); 
$array = array_flip($array); 
$array = array_flip($array); 
$array = array_values($array); 
echo "<br> Nouvel array dédoublonné : "; 
print_r($array); 
?>