Add deprecation plugin for PHPStan#3166

Open

Derkades wants to merge 12 commits intodevelopfrom

check-deprecations

Commits on Jan 11, 2023

Commits on Feb 28, 2023

Commits on Apr 25, 2023

Merge branch 'develop' into check-deprecations
Derkades
committed

Commits on Jun 5, 2023

Merge branch 'develop' into check-deprecations
Derkades
committed

Commits on Jul 21, 2023

Commits on May 11, 2025