diff options
| author | 2023-04-20 00:55:10 +0200 | |
|---|---|---|
| committer | 2023-04-20 00:55:10 +0200 | |
| commit | ecd956c73608a699a8ebd177c68c740c4ca20af7 (patch) | |
| tree | fd63ac2cede97c2e4db2afa5fe5fa85e4cc566db /lib/lib_rss.php | |
| parent | 2f53214c159738efc631ce3930e91c44f00f76f5 (diff) | |
PHPStan 7 configureController (#5318)
And fix bugs for saving user queries
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index d4dd1635d..de9ca421e 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -793,8 +793,8 @@ function recursive_unlink(string $dir): bool { /** * Remove queries where $get is appearing. * @param string $get the get attribute which should be removed. - * @param array<int,array<string,string>> $queries an array of queries. - * @return array<int,array<string,string>> without queries where $get is appearing. + * @param array<int,array<string,string|int>> $queries an array of queries. + * @return array<int,array<string,string|int>> without queries where $get is appearing. */ function remove_query_by_get(string $get, array $queries): array { $final_queries = array(); |
