diff options
| author | 2023-11-14 12:58:57 +0100 | |
|---|---|---|
| committer | 2023-11-14 12:58:57 +0100 | |
| commit | 9eba8726ac08d75730a9ed5fd26047f502007dfd (patch) | |
| tree | 3e21d1c25f3632ef6dd16e5294a60f5d68827e84 /p | |
| parent | b1d568697ad031a42b478ea6a3316558deaaa7c3 (diff) | |
API fix add feed with title (#5868)
fix https://github.com/FreshRSS/FreshRSS/issues/5866
Diffstat (limited to 'p')
| -rw-r--r-- | p/api/greader.php | 2 |
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 { |
