1
0
Fork 0

Merge pull request #8950 from Ayesh/issue/8946

Platform Check: Add a special case for `zend-opcache`
pull/8962/head
Jordi Boggiano 2020-06-05 08:09:09 +02:00 committed by GitHub
commit 56b4667db0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -640,6 +640,10 @@ EOF;
}
}
if ($match[1] === 'zend-opcache') {
$match[1] = 'zend opcache';
}
$extension = var_export($match[1], true);
if ($match[1] === 'pcntl' || $match[1] === 'readline') {
$requiredExtensions[$extension] = "PHP_SAPI !== 'cli' || extension_loaded($extension) || \$missingExtensions[] = $extension;\n";