php удалить повторы UNIQUE KEY

$art=array_keys(array_flip($art));