Page MenuHomePhabricator

Add phan to WikibaseMediaInfo extension
Closed, ResolvedPublic

Description

As wmf deployed extension the WikibaseMediaInfo extension should run phan on CI to found simple bugs in an earlier state of development.

Event Timeline

Change 538387 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Add phan dependency

https://gerrit.wikimedia.org/r/538387

Change 538387 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Add phan dependency

https://gerrit.wikimedia.org/r/538387

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

https://gerrit.wikimedia.org/r/538388

Change 538440 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [WikibaseMediaInfo] Run phan job

https://gerrit.wikimedia.org/r/538440

Change 538440 merged by jenkins-bot:
[integration/config@master] [WikibaseMediaInfo] Run phan job

https://gerrit.wikimedia.org/r/538440

Change 538388 merged by jenkins-bot:
[mediawiki/extensions/WikibaseMediaInfo@master] build: Add mediawiki/mediawiki-phan-config

https://gerrit.wikimedia.org/r/538388

Umherirrender claimed this task.
Umherirrender triaged this task as Medium priority.