[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538087 **merged** by jenkins-bot: [mediawiki/extensions/PropertySuggester@master] build: Add mediawiki/mediawiki-phan-config https://gerrit.wikimedia.org/r/538087 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538132 **merged** by jenkins-bot: [integration/config@master] layout: [PropertySuggester] Add phan https://gerrit.wikimedia.org/r/538132 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538132 had a related patch set uploaded (by Jforrester; owner: Jforrester): [integration/config@master] layout: [PropertySuggster] Add phan https://gerrit.wikimedia.org/r/538132 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

Stashbot added a comment. Mentioned in SAL (#wikimedia-releng) [2019-09-20T01:00:43Z] Zuul: [PropertySuggester] Add phan dependency T224774 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538090 **merged** by jenkins-bot: [integration/config@master] [PropertySuggester] Add phan dependency https://gerrit.wikimedia.org/r/538090 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538090 had a related patch set uploaded (by Umherirrender; owner: Umherirrender): [integration/config@master] [PropertySuggester] Add phan dependency https://gerrit.wikimedia.org/r/538090 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 538087 had a related patch set uploaded (by Umherirrender; owner: Umherirrender): [mediawiki/extensions/PropertySuggester@master] build: Add mediawiki/mediawiki-phan-config https://gerrit.wikimedia.org/r/538087 TASK DETAIL

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 515444 **merged** by jenkins-bot: [mediawiki/extensions/PropertySuggester@master] Add phan https://gerrit.wikimedia.org/r/515444 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] [Commented On] T224774: Add phan to PropertySuggester extension

gerritbot added a comment. Change 515444 had a related patch set uploaded (by Matěj Suchánek; owner: Matěj Suchánek): [mediawiki/extensions/PropertySuggester@master] Add phan https://gerrit.wikimedia.org/r/515444 TASK DETAIL https://phabricator.wikimedia.org/T224774 EMAIL