gerritbot added a comment.
Change 518833 **merged** by jenkins-bot:
[mediawiki/extensions/Wikibase@wmf/1.34.0-wmf.10] Migrate deprecated constant
to fix phan error
https://gerrit.wikimedia.org/r/518833
TASK DETAIL
https://phabricator.wikimedia.org/T226083
EMAIL PREFERENCES
gerritbot added a comment.
Change 518833 had a related patch set uploaded (by Jforrester; owner: Michael
Große):
[mediawiki/extensions/Wikibase@wmf/1.34.0-wmf.10] Migrate deprecated constant
to fix phan error
https://gerrit.wikimedia.org/r/518833
TASK DETAIL
gerritbot added a comment.
Change 517837 abandoned by Michael Große:
Suppress phan deprecation error
Reason:
the alternative patch https://gerrit.wikimedia.org/r/517836 has been fixed
https://gerrit.wikimedia.org/r/517837
TASK DETAIL
https://phabricator.wikimedia.org/T226083
gerritbot added a comment.
Change 517836 **merged** by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Migrate deprecated constant to fix
phan error
https://gerrit.wikimedia.org/r/517836
TASK DETAIL
https://phabricator.wikimedia.org/T226083
EMAIL PREFERENCES
Michael added a comment.
I added two patches for this problem. Both should fix the error (let's see
what CI says), but I do not enough insight to decide which is the better way to
go for now. Please review them and tell me which to abandon.
TASK DETAIL
gerritbot added a comment.
Change 517837 had a related patch set uploaded (by Michael Große; owner:
Michael Große):
[mediawiki/extensions/Wikibase@master] Suppress phan deprecation error
https://gerrit.wikimedia.org/r/517837
TASK DETAIL
https://phabricator.wikimedia.org/T226083
gerritbot added a comment.
Change 517836 had a related patch set uploaded (by Michael Große; owner:
Michael Große):
[mediawiki/extensions/Wikibase@master] Migrate deprecated constant to fix
phan error
https://gerrit.wikimedia.org/r/517836
TASK DETAIL
