diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-11 23:33:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-11 23:33:22 +0200 |
| commit | 37c2cc1204483de9930a8455ce46ec077cf97b88 (patch) | |
| tree | eb4a8ad9c85c54136f83c20e814c5892cd4bd789 /packages/pkginfo.php | |
| parent | 80507b6704340bf08e17db567298fd6a3975fe89 (diff) | |
| download | website-37c2cc1204483de9930a8455ce46ec077cf97b88.tar.xz | |
packages/pkginfo.php: remove duplicate dependencies
Diffstat (limited to 'packages/pkginfo.php')
| -rw-r--r-- | packages/pkginfo.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/pkginfo.php b/packages/pkginfo.php index 58d74c1..78a07c8 100644 --- a/packages/pkginfo.php +++ b/packages/pkginfo.php @@ -144,7 +144,7 @@ require_once BASE . "/lib/style.php"; $dependencies = array(); while ($row = $mysql_result -> fetch_assoc()) { - $row["deps"] = json_decode("{".$row["deps"]."}",true); + $row["deps"] = array_unique(json_decode("{".$row["deps"]."}",true)); $dependencies[] = $row; } |