mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-18 15:41:26 +02:00
Code Issues Releases Wiki Activity

[ticket/17347] Fix psalm error for user delete by ID command

Browse Source 
PHPBB-17347
This commit is contained in:
Marc Alexander
2024-07-01 21:33:54 +02:00
parent 82de8c7f5f
commit c82dd8bf54
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
phpBB/phpbb/console/command/user/delete_id.php
View File

@@ -19,6 +19,7 @@ use phpbb\language\language;
use phpbb\log\log_interface; use phpbb\log\log_interface;
use phpbb\user; use phpbb\user;
use phpbb\user_loader; use phpbb\user_loader;
use Symfony\Component\Console\Helper\QuestionHelper;
use Symfony\Component\Console\Input\InputArgument; use Symfony\Component\Console\Input\InputArgument;
use Symfony\Component\Console\Input\InputInterface; use Symfony\Component\Console\Input\InputInterface;
use Symfony\Component\Console\Input\InputOption; use Symfony\Component\Console\Input\InputOption;
@@ -192,6 +193,10 @@ class delete_id extends command
protected function interact(InputInterface $input, OutputInterface $output): void protected function interact(InputInterface $input, OutputInterface $output): void
{ {
$helper = $this->getHelper('question'); $helper = $this->getHelper('question');
if (!$helper instanceof QuestionHelper)
{
return;
}
$user_ids = $input->getArgument('user_ids'); $user_ids = $input->getArgument('user_ids');
if (count($user_ids) > 0) if (count($user_ids) > 0)