Page MenuHomePhabricator

Hard deprecate RecentChange::markPatrolled
Closed, ResolvedPublic

Description

Uses $wgUser, can just be replaced in callers with RecentChange::doMarkPatrolled

Only known caller is MediaWiki-extensions-Patroller

Event Timeline

Change 565704 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/extensions/Patroller@master] Replace calls to RecentChange::markPatrolled with ::doMarkPatrolled

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

DannyS712 updated the task description. (Show Details)
DannyS712 moved this task from Unsorted to Awaiting review and deployment on the User-DannyS712 board.
DannyS712 triaged this task as Medium priority.Feb 13 2020, 9:08 PM

Change 565704 merged by jenkins-bot:
[mediawiki/extensions/Patroller@master] Replace calls to RecentChange::markPatrolled with ::doMarkPatrolled

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

Change 574917 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/core@master] Hard deprecate RecentChange::doMarkPatrolled

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

Change 574917 merged by jenkins-bot:
[mediawiki/core@master] Hard deprecate RecentChange::markPatrolled

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