Doppelte Einträge aus Array löschen?

[Herbert]

Ich habe es bis jetzt so versucht:

$lines = file($save_file);
  $C = count ($lines);

for ($i=0; $i < $C; $i++) {
   $get_user = explode('<',$lines[$i]);

for ($a=0; $a < $C; $a++) {
     if ($get_user[4] == $user[$a]) {} else
      { $user[$i] = $get_user[4]; }
    }

echo $user[$i];
  }

Aber es funktioniert nicht... ?!?

Gruß
Herbert