From 9eba8726ac08d75730a9ed5fd26047f502007dfd Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Tue, 14 Nov 2023 12:58:57 +0100 Subject: API fix add feed with title (#5868) fix https://github.com/FreshRSS/FreshRSS/issues/5866 --- p/api/greader.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'p') 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 { -- cgit v1.2.3