1
0
Fork 0

Fix deprecated syntax since PHP 8.2 (#10766)

pull/10768/head
Nicolas Grekas 2022-05-08 10:39:36 +02:00 committed by GitHub
parent 1cdc43d9de
commit c27dca83ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -889,7 +889,7 @@ EXT_CHECKS;
// platform_check.php @generated by Composer
\$issues = array();
${requiredPhp}${requiredExtensions}
{$requiredPhp}{$requiredExtensions}
if (\$issues) {
if (!headers_sent()) {
header('HTTP/1.1 500 Internal Server Error');

View File

@ -363,7 +363,7 @@ class Problem
$providersStr = implode(array_map(function ($p) {
$description = $p['description'] ? ' '.substr($p['description'], 0, 100) : '';
return " - ${p['name']}".$description."\n";
return ' - '.$p['name'].$description."\n";
}, count($providers) > $maxProviders + 1 ? array_slice($providers, 0, $maxProviders) : $providers));
if (count($providers) > $maxProviders + 1) {
$providersStr .= ' ... and '.(count($providers) - $maxProviders).' more.'."\n";