Bug report

Function mysqli_get_client_info invoked with 0 parameters, 1 required.

Code snippet that reproduces the problem

https://phpstan.org/r/e5dd46fa-edfa-40d9-b4af-924337d111c6 (PHP 7.1-7.4 tab)

Expected output

No errors.

The parameter has always been optional: https://www.php.net/manual/en/mysqli.get-client-info.php