From a80a5f48a16e7d232168a7aaa68e9a1804235ce1 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Mon, 18 Dec 2023 17:59:16 +0100 Subject: Pass PHPStan level 8 (#5946) * Pass PHPStan level 8 And prepare for PHPStan level 9 https://phpstan.org/user-guide/rule-levels * Revert wrong replace in comment * Fix PHPStan level 8 * Update PHPStan and other dev dependencies * Remove obsolete comment * noVariableVariables and towards bleedingEdge https://github.com/phpstan/phpstan-strict-rules https://phpstan.org/blog/what-is-bleeding-edge * More bleedingEdge * A bit more PHPStan level 9 * More PHPStan level 9 * Prepare for booleansInConditions Ignore int and null * Revert wrong line * More fixes * Fix keep_max_n_unread * Stricter attribute functions * Stricter callHooks and more PHPStan level 9 * More typing * A tiny more --- cli/delete-user.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'cli/delete-user.php') diff --git a/cli/delete-user.php b/cli/delete-user.php index 2ad84b7dc..d8d3033cc 100755 --- a/cli/delete-user.php +++ b/cli/delete-user.php @@ -3,7 +3,7 @@ declare(strict_types=1); require(__DIR__ . '/_cli.php'); -performRequirementCheck(FreshRSS_Context::$system_conf->db['type'] ?? ''); +performRequirementCheck(FreshRSS_Context::systemConf()->db['type'] ?? ''); $params = array( 'user:', @@ -24,7 +24,7 @@ if (!preg_grep("/^$username$/i", $usernames)) { fail('FreshRSS error: username not found “' . $username . '”'); } -if (strcasecmp($username, FreshRSS_Context::$system_conf->default_user) === 0) { +if (strcasecmp($username, FreshRSS_Context::systemConf()->default_user) === 0) { fail('FreshRSS error: default user must not be deleted: “' . $username . '”'); } @@ -32,6 +32,6 @@ echo 'FreshRSS deleting user “', $username, "”…\n"; $ok = FreshRSS_user_Controller::deleteUser($username); -invalidateHttpCache(FreshRSS_Context::$system_conf->default_user); +invalidateHttpCache(FreshRSS_Context::systemConf()->default_user); done($ok); -- cgit v1.2.3