As wmf deployed extension the WikibaseMediaInfo extension should run phan on CI to found simple bugs in an earlier state of development.
Description
Description
Details
Details
Related Gerrit Patches:
| mediawiki/extensions/WikibaseMediaInfo : master | build: Add mediawiki/mediawiki-phan-config |
| integration/config : master | [WikibaseMediaInfo] Run phan job |
| integration/config : master | [WikibaseMediaInfo] Add phan dependency |
| Status | Assigned | Task | ||
|---|---|---|---|---|
| Open | None | T179554 Add phan to MediaWiki extensions and skins for static analysis [cloneable] | ||
| Resolved | Umherirrender | T224783 Enable mediawiki/mediawiki-phan-config on all Wikimedia-deployed repositories | ||
| Resolved | Umherirrender | T224772 Add phan to WikibaseMediaInfo extension |
Event Timeline
Comment Actions
Change 538387 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Add phan dependency
Comment Actions
Change 538387 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Add phan dependency
Comment Actions
Mentioned in SAL (#wikimedia-releng) [2019-09-21T19:36:33Z] <James_F> Zuul: [WikibaseMediaInfo] Add phan dependency T224772
Comment Actions
Change 538388 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/WikibaseMediaInfo@master] build: Add mediawiki/mediawiki-phan-config
Comment Actions
Change 538440 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Run phan job
Comment Actions
Change 538440 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Run phan job
Comment Actions
Change 538388 merged by jenkins-bot:
[mediawiki/extensions/WikibaseMediaInfo@master] build: Add mediawiki/mediawiki-phan-config