Eliminar resultados duplicados en un array en PHP

Puede sernos muy útil para eliminar resultados duplicados dentro de un array la siguiente función, por ejemplo a la hora de los resultados de una busqueda almacenados en una tabla:

1

<?php

2	tabla = array( 'Ernesto', 'Adrian', 'Elena', 'Adrian', 'Gonzalo');

3	$tabla = array_unique( $tabla );

4	print_r( $tabla );

5

?>

El resultado sería

array( ‘Ernesto’, ‘Adrian’, ‘Elena’, ‘Gonzalo’ )

Eliminando el ‘Adrian’ repetido.