diff options
| author | 2022-01-06 22:39:35 +0100 | |
|---|---|---|
| committer | 2022-01-06 22:39:35 +0100 | |
| commit | 8e398d24f132095fffba0db3c7ceea9a43371b4d (patch) | |
| tree | ea40e91c9e55f590826dc6571f2a9a098431535c /lib/lib_rss.php | |
| parent | d339b6dd454d814ffc323fa9077b70e33339c479 (diff) | |
Fix several PHP8.1 warnings (#4123)
* Fix several PHP8.1 warnings
Taking advantage of https://github.com/FreshRSS/FreshRSS/pull/4121
* Couple oh type hints missing
* Compatibility PHP 7
* Fix variadic PHPDocs syntax
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 3ba154209..a43bc475f 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -19,10 +19,10 @@ if (COPY_SYSLOG_TO_STDERR) { /** * Build a directory path by concatenating a list of directory names. * - * @param string $path_parts a list of directory names + * @param string ...$path_parts a list of directory names * @return string corresponding to the final pathname */ -function join_path(...$path_parts) { +function join_path(...$path_parts): string { return join(DIRECTORY_SEPARATOR, $path_parts); } |
