Fix

vimeo · Nov 24, 2024 · 3e7762b · 3e7762b
1 parent 3afbafc
commit 3e7762b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Cli/Psalm.php b/src/Psalm/Internal/Cli/Psalm.php
@@ -916,7 +916,7 @@ private static function restart(array $options, int $threads, Progress $progress
             'blackfire',
         ]);
 
-        $skipJit = defined('PHP_WINDOWS_VERSION_MAJOR') && PHP_VERSION_ID < 80401;
+        $skipJit = defined('PHP_WINDOWS_VERSION_MAJOR') && PHP_VERSION_ID < 80400;
         if ($skipJit) {
             $ini_handler->disableExtensions(['opcache', 'Zend OPcache']);
         }

diff --git a/src/Psalm/Internal/Fork/PsalmRestarter.php b/src/Psalm/Internal/Fork/PsalmRestarter.php
@@ -164,7 +164,7 @@ protected function restart($command): void
         // executed in the parent process (before restart)
         // if it wasn't loaded then we apparently don't have opcache installed and there's no point trying
         // to tweak it
-        if ($opcache_loaded && !(defined('PHP_WINDOWS_VERSION_MAJOR') && PHP_VERSION_ID < 80401)) {
+        if ($opcache_loaded && !(defined('PHP_WINDOWS_VERSION_MAJOR') && PHP_VERSION_ID < 80400)) {
             $additional_options = [];
             foreach (self::REQUIRED_OPCACHE_SETTINGS as $key => $value) {
                 $additional_options []= "-dopcache.{$key}={$value}";