Fix the type of Labels::update_cache()

2 files changed, 4 insertions, 1 deletions

diff --git a/classes/article.php b/classes/article.php
index b4f28dc28..b720971b9 100755
--- a/classes/article.php
+++ b/classes/article.php
@@ -553,6 +553,8 @@ class Article extends Handler_Protected {
 		}
 
 		if (count($rv) > 0)
+			// PHPStan has issues with the shape of $rv for some reason (array vs non-empty-array).
+			// @phpstan-ignore-next-line
 			Labels::update_cache($owner_uid, $id, $rv);
 		else
 			Labels::update_cache($owner_uid, $id, array("no-labels" => 1));
diff --git a/classes/labels.php b/classes/labels.php
index 5a17d665e..026e6621f 100644
--- a/classes/labels.php
+++ b/classes/labels.php
@@ -71,7 +71,8 @@ class Labels
 	}
 
 	/**
-	 * @param array<int, array<int, array<int, int|string>>> $labels
+	 * @param array{'no-labels': 1}|array<int, array<int, array{0: int, 1: string, 2: string, 3: string}>> $labels
+	 * [label_id, caption, fg_color, bg_color]
 	 *
 	 * @see Article::_get_labels()
 	 */