diff options
| author | 2023-01-29 18:53:51 +0100 | |
|---|---|---|
| committer | 2023-01-29 18:53:51 +0100 | |
| commit | 4f316b2ed397bb331ef89f2cd2d8ce92a725ccba (patch) | |
| tree | 6d74cfa825724d483d43b23fdf90aadb1e46262a /p/f.php | |
| parent | 2303b29e68d16fbf0a173ab2b4b0ac736041905c (diff) | |
PHPStan level 9 for ./p/ and lib_rss.php (#5049)
And app/FreshRSS.php
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4112
Diffstat (limited to 'p/f.php')
| -rw-r--r-- | p/f.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ require(LIB_PATH . '/lib_rss.php'); //Includes class autoloader require(LIB_PATH . '/favicons.php'); require(LIB_PATH . '/http-conditional.php'); -function show_default_favicon($cacheSeconds = 3600) { +function show_default_favicon(int $cacheSeconds = 3600): void { $default_mtime = @filemtime(DEFAULT_FAVICON); if (!httpConditional($default_mtime, $cacheSeconds, 2)) { header('Content-Type: image/x-icon'); |
