Remove MongoDB extension from function map#3891

ondrejmirtes merged 1 commit intophpstan:2.1.xphpstan/phpstan-src:2.1.xfrom

alcaeus:drop-mongodb-functionmapalcaeus/phpstan-src:drop-mongodb-functionmapCopy head branch name to clipboard