1
0
Fork 0

Avoid mixing write/writeError which causes issues on some terminals, fixes #8656

pull/8661/head
Jordi Boggiano 2020-02-28 22:42:19 +01:00
parent 2285a79c63
commit 6cf54170cc
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 1 deletions

View File

@ -497,7 +497,7 @@ EOT
} }
$io->write(''); $io->write('');
if (isset($package['warning'])) { if (isset($package['warning'])) {
$io->writeError('<warning>' . $package['warning'] . '</warning>'); $io->write('<warning>' . $package['warning'] . '</warning>');
} }
} }