1
0
Fork 0

Avoid checking for readline in non-CLI contexts, fixes #8909

pull/8918/head
Jordi Boggiano 2020-05-19 16:46:33 +02:00
parent a40e6157de
commit 62d0443e07
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 1 deletions

View File

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