diff options
| author | 2023-04-17 08:30:21 +0200 | |
|---|---|---|
| committer | 2023-04-17 08:30:21 +0200 | |
| commit | f3760f138dcbaf7a2190336a0378cf1b2190c9f5 (patch) | |
| tree | 6fac8fbf9efd7aa74a8e3970ab70ccf85287b2cd /cli/export-sqlite-for-user.php | |
| parent | 41fa4e746df8c2e2399ed753b4994ca85cb21358 (diff) | |
Complete PHPStan Level 6 (#5305)
* Complete PHPStan Level 6
Fix https://github.com/FreshRSS/FreshRSS/issues/4112
And initiate PHPStan Level 7
* PHPStan Level 6 for tests
* Use phpstan/phpstan-phpunit
* Update to PHPStan version 1.10
* Fix mixed bug
* Fix mixed return bug
* Fix paginator bug
* Fix FreshRSS_UserConfiguration
* A couple more Minz_Configuration bug fixes
* A few trivial PHPStan Level 7 fixes
* A few more simple PHPStan Level 7
* More files passing PHPStan Level 7
Add interface to replace removed class from https://github.com/FreshRSS/FreshRSS/pull/5251
* A few more PHPStan Level 7 preparations
* A few last details
Diffstat (limited to 'cli/export-sqlite-for-user.php')
| -rwxr-xr-x | cli/export-sqlite-for-user.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/export-sqlite-for-user.php b/cli/export-sqlite-for-user.php index 78c21ce1e..b4265d28a 100755 --- a/cli/export-sqlite-for-user.php +++ b/cli/export-sqlite-for-user.php @@ -2,7 +2,7 @@ <?php require(__DIR__ . '/_cli.php'); -performRequirementCheck(FreshRSS_Context::$system_conf->db['type']); +performRequirementCheck(FreshRSS_Context::$system_conf->db['type'] ?? ''); $params = [ 'user:', @@ -11,7 +11,7 @@ $params = [ $options = getopt('', $params); -if (!validateOptions($argv, $params) || empty($options['user']) || empty($options['filename'])) { +if (!validateOptions($argv, $params) || empty($options['user']) || empty($options['filename']) || !is_string($options['user']) || !is_string($options['filename'])) { fail('Usage: ' . basename(__FILE__) . ' --user username --filename /path/to/db.sqlite'); } |
