Case mismatch for MongoDB\Driver\Monitoring\addSubscriber function

[fredden]

Bug report

The official documentation[1] says the function is called MongoDB\Driver\Monitoring\addSubscriber, but PHPStan recommends using mongodb\driver\monitoring\addsubscriber instead. This is causing issues over in ComposerRequireChecker[2]

[1] https://www.php.net/manual/en/function.mongodb.driver.monitoring.addsubscriber.php
[2] maglnet/ComposerRequireChecker#432

Code snippet that reproduces the problem

https://phpstan.org/r/e74e86d4-3bf8-41f5-95d3-4744dda0d40f

Expected output

Error on line 7:
Call to function MongoDB\Driver\Monitoring\addSubscriber() with incorrect case: mongodb\driver\monitoring\addsubscriber

No error on line 8.

Did PHPStan help you today? Did it make you happy in any way?

No response

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2673

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.