diff options
author | wn_ <[email protected]> | 2021-11-13 14:41:22 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-13 15:56:31 +0000 |
commit | b37a03fb31cf1c394e36ccf082bb5d3359f3a1fb (patch) | |
tree | 0ce804faf861b4fcfc002b0f506a75d6f617f746 | |
parent | f2323bda81a8fb4f80fff043b356449ef0233305 (diff) |
Fix the type of Labels::update_cache()
-rwxr-xr-x | classes/article.php | 2 | ||||
-rw-r--r-- | classes/labels.php | 3 |
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() */ |