As wmf deployed extension the WikibaseMediaInfo extension should run phan on CI to found simple bugs in an earlier state of development.
Description
Details
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Resolved | 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
Change 538387 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Add phan dependency
Change 538387 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Add phan dependency
Mentioned in SAL (#wikimedia-releng) [2019-09-21T19:36:33Z] <James_F> Zuul: [WikibaseMediaInfo] Add phan dependency T224772
Change 538388 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/WikibaseMediaInfo@master] build: Add mediawiki/mediawiki-phan-config
Change 538440 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Run phan job
Change 538440 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Run phan job
Change 538388 merged by jenkins-bot:
[mediawiki/extensions/WikibaseMediaInfo@master] build: Add mediawiki/mediawiki-phan-config