1
0
Fork 0

Fixes #10938: Do not display duplicate ignore extension hints

pull/10985/head
Sam Litowitz 2022-07-13 09:19:35 -04:00 committed by Jordi Boggiano
parent 740af2bdb1
commit 8d5bdaf443
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 1 deletions

View File

@ -119,7 +119,7 @@ class SolverProblemsException extends \RuntimeException
$ignoreExtensionsArguments = implode(" ", array_map(function ($extension) {
return "--ignore-platform-req=$extension";
}, $missingExtensions));
}, array_unique($missingExtensions)));
$text = "To enable extensions, verify that they are enabled in your .ini files:\n - ";
$text .= implode("\n - ", $paths);