Frédéric FRANCE e746e56126 FIX: Exclude deleted files from the PHPStan/Phan changed-files CI script ... get_changed_php.sh listed every file the GitHub PR-files API reports, including ones with status "removed" — deleted files no longer exist on disk, so passing them to phpstan/phan made the CI job fail trying to analyse a missing path. Any PR deleting PHP files hits this, not specific to one branch; exposed here since this PR removes 79 files.		2026-08-12 07:10:32 +02:00
..
get_changed_php.sh	FIX: Exclude deleted files from the PHPStan/Phan changed-files CI script	2026-08-12 07:10:32 +02:00