Sort identifiers again

phpstan · Jun 22, 2023 · 120710c · 120710c
1 parent 3cff7ab
commit 120710c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/identifier-extractor/merge.php b/identifier-extractor/merge.php
@@ -53,6 +53,16 @@
 foreach ($dataByIdentifier as $identifier => $rows) {
 	ksort($rows);
 	$dataByIdentifier[$identifier] = $rows;
+	foreach ($rows as $class => $repos) {
+		foreach ($repos as $repo => $urls) {
+			$urls = array_values(array_unique($urls));
+			sort($urls);
+			$dataByIdentifier[$identifier][$class][$repo] = $urls;
+		}
+
+		ksort($repos);
+		$dataByIdentifier[$identifier][$class] = $repos;
+	}
 }
 
 echo Json::encode($dataByIdentifier, true);