Add option to set phpVersion to 80100 on PHP 7.4

Fixes #272
mglaman · Apr 29, 2022 · e6b1aef · e6b1aef
1 parent 900d859
commit e6b1aef
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Command/CheckCommand.php b/src/Command/CheckCommand.php
@@ -34,6 +34,7 @@ protected function configure(): void
  ->addOption('deprecations', 'd', InputOption::VALUE_NONE, 'Check for deprecations')
  ->addOption('analysis', 'a', InputOption::VALUE_NONE, 'Check code analysis')
  ->addOption('style', 's', InputOption::VALUE_NONE, 'Check code style')
+ ->addOption('php8', null, InputOption::VALUE_NONE, 'Set PHPStan phpVersion for 8.1 (Drupal 10 requirement)')
  ->addOption('memory-limit', null, InputOption::VALUE_OPTIONAL, 'Memory limit for analysis')
  ->addOption('exclude-dir', 'e', InputOption::VALUE_OPTIONAL, 'Directories to exclude. Separate multiple directories with a comma, no spaces.')
  ->addOption(
@@ -144,6 +145,10 @@ protected function execute(InputInterface $input, OutputInterface $output): int
  ]
  ];
 
+ if ($input->getOption('php8')) {
+ $configuration_data['parameters']['phpVersion'] = 80100;
+ }
+
  if (!empty($this->excludeDirectory)) {
  // There may be more than one path passed in, comma separated.
  $excluded_directories = explode(',', $this->excludeDirectory);