Rimuovere elementi duplicati da un array in PHP

In questo post vi mostrerò come rimuovere (purge) gli elementi duplicati all'interno di un array PHP.

Premetto che si potrebbe fare con un pò di righe di codice senza l'utilizzo di funzioni native, ma per fortuna gli sviluppatori PHP hanno creato una funziona molto utile sin dalla versione 4 di PHP e che funziona ancora fino alla versione 7.

Supponiamo di avere questo array:

	$mio_array = array(4, "4", "3", 4, 3, "3");

sarà sufficiente anteporre all'array la funzione array_unique in questo modo:

	$mio_array = array_unique(array(4, "4", "3", 4, 3, "3"));
print_r($mio_array);

per ottenere questo risultato:

	array(2) {
  [0] => 4
  [2] => 3
}