Skip to content

Commit d13390c

Browse files
Fix wrong cherry-pick that happened during backporting
1 parent 64a6713 commit d13390c

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/TextUI/Configuration/Cli/Configuration.php

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@ final class Configuration
3030
private readonly ?string $cacheDirectory;
3131
private readonly ?bool $cacheResult;
3232
private readonly ?string $cacheResultFile;
33+
private readonly bool $checkPhpConfiguration;
3334
private readonly bool $checkVersion;
3435
private readonly ?string $colors;
3536
private readonly null|int|string $columns;

0 commit comments

Comments
 (0)