diff options
author | wn_ <[email protected]> | 2021-11-13 16:00:56 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-13 16:00:59 +0000 |
commit | edd476e7fea4d763bedbb0e21385f2d58ce001d5 (patch) | |
tree | 6b8692c72d61109604723b0147dda1639106b8e0 | |
parent | a18473e4c0d2187f1308c7d77fb40d552bb194ed (diff) |
minor: correct $cat type in Pref_Feeds#calculate_children_count()
-rwxr-xr-x | classes/pref/feeds.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/pref/feeds.php b/classes/pref/feeds.php index ec6abf9dd..47479e124 100755 --- a/classes/pref/feeds.php +++ b/classes/pref/feeds.php @@ -1289,7 +1289,7 @@ class Pref_Feeds extends Handler_Protected { /** * @param array<string, mixed> $cat */ - private function calculate_children_count(?array $cat): int { + private function calculate_children_count(array $cat): int { $c = 0; foreach ($cat['items'] ?? [] as $child) { |