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 /classes/article.php | |
| parent | f2323bda81a8fb4f80fff043b356449ef0233305 (diff) | |
Fix the type of Labels::update_cache()
Diffstat (limited to 'classes/article.php')
| -rwxr-xr-x | classes/article.php | 2 |
1 files changed, 2 insertions, 0 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)); |