Per titile
<Reedy> But... // @phan-stub-for-extension [email protected]
<Reedy> Redis 5.0.3 is in debian stable
<Reedy> So it would sound like we've got an old version of the stubs anyway
<Reedy> Could be worth filing a task and tagging it phan to look at updating the stubs
<Reedy> php-redis is 4.2.0 too https://packages.debian.org/buster/php-redis
<Reedy> So I don't know exactly what version of what the 3.1.1 is etc