Allow togging `discoveringSymbols` tip#3929

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

herndlm:tips-discovering-symbolsherndlm/phpstan-src:tips-discovering-symbolsCopy head branch name to clipboard