1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00

Merge branch '5.x' into upstream-master

This commit is contained in:
Bruce Weirdan 2023-08-22 18:51:05 +02:00
commit 65243a4e72
No known key found for this signature in database
GPG Key ID: CFC3AAB181751B0D

View File

@ -1786,3 +1786,14 @@ if (defined('GLOB_BRACE')) {
function glob (string $pattern, int $flags = 0): array|false {}
}
/**
* @psalm-template TOutput of array|null
*
* @param TOutput $output
* @param-out (TOutput is null ? list<string> : array) $output
* @param-out int $result_code
*
* @psalm-taint-specialize
* @psalm-taint-sink shell $command
*/
function exec(string $command, &$output = null, int &$result_code = null): string|false {}