The php extensions redis and imagick are needed to run phan without failures on local machine.
When the extensions are not installed in the used php version, than errors are reported.
Phan stubs should be added for both extensions and used when the classes are not available from php itself
Or it is enough to list them under suggest in composer.json?