gerritbot added a comment.
Change 352163 merged by jenkins-bot:
[mediawiki/extensions/WikibaseQualityConstraints@master] Use fully qualified name in @covers in PHPUnit
https://gerrit.wikimedia.org/r/352163TASK DETAILhttps://phabricator.wikimedia.org/T161720EMAIL
gerritbot added a comment.
Change 352163 had a related patch set uploaded (by Lucas Werkmeister (WMDE); owner: Lucas Werkmeister (WMDE)):
[mediawiki/extensions/WikibaseQualityConstraints@master] Use fully qualified name in @covers in PHPUnit
https://gerrit.wikimedia.org/r/352163TASK
gerritbot added a comment.
Change 345628 merged by Krinkle:
[mediawiki/extensions/WikibaseQualityConstraints@master] Use full qualified names in @uses/@covers in PHPUnit
https://gerrit.wikimedia.org/r/345628TASK DETAILhttps://phabricator.wikimedia.org/T161720EMAIL
gerritbot added a comment.
Change 345628 had a related patch set uploaded (by Reedy):
[mediawiki/extensions/WikibaseQualityConstraints@master] Use full qualified names in @uses/@covers in PHPUnit
https://gerrit.wikimedia.org/r/345628TASK DETAILhttps://phabricator.wikimedia.org/T161720EMAIL
Reedy added a comment.
Poking at this further, not sure if it's actually a PhpStorm bug.. Filed upstream https://youtrack.jetbrains.com/issue/WI-35736TASK DETAILhttps://phabricator.wikimedia.org/T161720EMAIL PREFERENCEShttps://phabricator.wikimedia.org/settings/panel/emailpreferences/To: ReedyCc: