1
0
Fork 0

Removed blank line in missing extensions hint when having no php.ini loaded file (#10839)

pull/10893/head
anzago 2022-06-22 12:29:36 +02:00 committed by GitHub
parent b025971bb8
commit 567423e9f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions

View File

@ -113,8 +113,12 @@ class SolverProblemsException extends \RuntimeException
{ {
$paths = IniHelper::getAll(); $paths = IniHelper::getAll();
if (count($paths) === 1 && empty($paths[0])) { if ('' === $paths[0]) {
return ''; if (count($paths) === 1) {
return '';
}
array_shift($paths);
} }
$ignoreExtensionsArguments = implode(" ", array_map(function ($extension) { $ignoreExtensionsArguments = implode(" ", array_map(function ($extension) {