Comment éliminer les doublons d'un fichier CSV à l'aide de FGETCSV de PHP?

Question

J'analyse un fichier CSV à l'aide de fgetcsv, en utilisant spécifiquement $ line_of_text. Je veux faire écho à toutes les villes qui ont un pays partagé, mais je veux éliminer les doublons de la ville afin que si, par exemple, Paris ne se soit produit 200 fois, il ne serait résolu que une fois, le long d'un seul écho pour les autres villes distinctes de France, indépendamment de leur nombre d'instances.

Mon intuition est que je dois stocker les valeurs de la ville dans un tableau, puis utiliser Array_Unique pour supprimer les doublons, mais malheureusement, cela dépasse mes capacités PHP actuelles. Toute aide profondément appréciée, j'ai tout essayé dans mes pouvoirs!

<?php
  $display = 100;
  $counter = 1;
  $country = $_GET['country'];
  echo "<ol>";
  $file_handle = fopen("csv/file.csv", "r");
  while (($line_of_text = fgetcsv($file_handle, 1024, ",")) !== false) {
      if ($line_of_text[13] == $country) {
          echo "<li>City:" . $line_of_text[15]) . "</li>";

          $counter++;
          if ($counter == $display) {
              break;
              echo "</ol>";
          }
      }
  }
  fclose($file_handle);
?>