Per titile
<Reedy> But... // @phan-stub-for-extension redis@3.1.1
<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
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| phan: Upgrade redis stubs to 5.1.1 | mediawiki/core | master | +448 -391 |
It's fairly easy. All you have to do is upgrade to the latest version of php-redis locally, then follow the instructions at https://github.com/phan/phan/wiki/How-To-Use-Stubs#generating-stubs.
Change 554350 had a related patch set uploaded (by Daimona Eaytoy; owner: Daimona Eaytoy):
[mediawiki/core@master] phan: Upgrade redis stubs to 5.1.1
Change 554350 merged by jenkins-bot:
[mediawiki/core@master] phan: Upgrade redis stubs to 5.1.1