1
0
mirror of https://git.tt-rss.org/git/tt-rss.git synced 2025-12-28 10:31:28 +00:00

Initial go at PHPStan rule level 6.

This commit is contained in:
wn_
2021-11-10 21:38:25 +00:00
parent 87a30d88d3
commit 4cc3374f9f
12 changed files with 93 additions and 48 deletions

View File

@@ -1,4 +1,4 @@
<?php
interface Logger_Adapter {
function log_error(int $errno, string $errstr, string $file, int $line, $context);
}
function log_error(int $errno, string $errstr, string $file, int $line, string $context): bool;
}