Fix elapsed time format for result cache restore time#3890

ondrejmirtes merged 2 commits intophpstan:2.1.xphpstan/phpstan-src:2.1.xfrom

janedbal:result-cache-restore-fix-digitsjanedbal/phpstan-src:result-cache-restore-fix-digitsCopy head branch name to clipboard