As wmf deployed extension the PropertySuggester 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 | T224774 Add phan to PropertySuggester extension |
Event Timeline
Change 515444 had a related patch set uploaded (by Matěj Suchánek; owner: Matěj Suchánek):
[mediawiki/extensions/PropertySuggester@master] Add phan
Change 515444 merged by jenkins-bot:
[mediawiki/extensions/PropertySuggester@master] Add phan
Change 538087 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/PropertySuggester@master] build: Add mediawiki/mediawiki-phan-config
Change 538090 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [PropertySuggester] Add phan dependency
Change 538090 merged by jenkins-bot:
[integration/config@master] [PropertySuggester] Add phan dependency
Mentioned in SAL (#wikimedia-releng) [2019-09-20T01:00:43Z] <James_F> Zuul: [PropertySuggester] Add phan dependency T224774
Change 538132 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/config@master] layout: [PropertySuggster] Add phan
Change 538132 merged by jenkins-bot:
[integration/config@master] layout: [PropertySuggester] Add phan
Change 538087 merged by jenkins-bot:
[mediawiki/extensions/PropertySuggester@master] build: Add mediawiki/mediawiki-phan-config