Revert PHP 7.2 support and require at least 8.1#14

ruudk merged 4 commits intomainTicketSwap/phpstan-error-formatter:mainfrom

revert-php-72TicketSwap/phpstan-error-formatter:revert-php-72Copy head branch name to clipboard