aboutsummaryrefslogtreecommitdiff
path: root/p/api/greader.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-11-14 12:58:57 +0100
committerGravatar GitHub <noreply@github.com> 2023-11-14 12:58:57 +0100
commit9eba8726ac08d75730a9ed5fd26047f502007dfd (patch)
tree3e21d1c25f3632ef6dd16e5294a60f5d68827e84 /p/api/greader.php
parentb1d568697ad031a42b478ea6a3316558deaaa7c3 (diff)
API fix add feed with title (#5868)
fix https://github.com/FreshRSS/FreshRSS/issues/5866
Diffstat (limited to 'p/api/greader.php')
-rw-r--r--p/api/greader.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/p/api/greader.php b/p/api/greader.php
index a93bad52e..77defb326 100644
--- a/p/api/greader.php
+++ b/p/api/greader.php
@@ -581,7 +581,7 @@ final class GReaderAPI {
/**
* @param 'A'|'c'|'f'|'s' $type
* @param string|int $streamId
- * @return array{'A'|'c'|'f'|'s'|'t',int,int,FreshRSS_BooleanSearch}
+ * @phpstan-return array{'A'|'c'|'f'|'s'|'t',int,int,FreshRSS_BooleanSearch}
*/
private static function streamContentsFilters(string $type, $streamId,
string $filter_target, string $exclude_target, int $start_time, int $stop_time): array {