mirror of
https://github.com/danog/psalm.git
synced 2024-11-30 04:39:00 +01:00
Remove unused things
This commit is contained in:
parent
0145e60e6a
commit
348ed24881
@ -88,11 +88,6 @@ class ProjectAnalyzer
|
||||
/** @var int */
|
||||
public $threads;
|
||||
|
||||
/**
|
||||
* @var array<string,string>
|
||||
*/
|
||||
public $reports = [];
|
||||
|
||||
/**
|
||||
* @var array<string, bool>
|
||||
*/
|
||||
@ -175,8 +170,7 @@ class ProjectAnalyzer
|
||||
?ReportOptions $stdout_report_options = null,
|
||||
array $generated_report_options = [],
|
||||
int $threads = 1,
|
||||
Progress $progress = null,
|
||||
$reports = null
|
||||
Progress $progress = null
|
||||
) {
|
||||
if ($progress === null) {
|
||||
$progress = new VoidProgress();
|
||||
|
Loading…
Reference in New Issue
Block a user