diff options
author | wn_ <[email protected]> | 2021-11-10 21:38:25 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-10 21:38:25 +0000 |
commit | 4cc3374f9f6cdd6ea05d4d16942d0165d8b2ed90 (patch) | |
tree | 00f0ff6ba464d3b7741b9f0bb36c306d329d6836 /update.php | |
parent | 87a30d88d36941ad817f0d1409e2ededbe576af6 (diff) |
Initial go at PHPStan rule level 6.
Diffstat (limited to 'update.php')
-rwxr-xr-x | update.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update.php b/update.php index b10dde400..36c66b06c 100755 --- a/update.php +++ b/update.php @@ -12,7 +12,7 @@ Config::sanity_check(); - function make_stampfile($filename) { + function make_stampfile(string $filename): bool { $fp = fopen(Config::get(Config::LOCK_DIRECTORY) . "/$filename", "w"); if (flock($fp, LOCK_EX | LOCK_NB)) { @@ -25,7 +25,7 @@ } } - function cleanup_tags($days = 14, $limit = 1000) { + function cleanup_tags(int $days = 14, int $limit = 1000): int { $days = (int) $days; |