Page MenuHomePhabricator

Linter: use the WikiPageDeletionUpdates hook to remove Linter records when a page gets deleted
Closed, ResolvedPublic

Description

Details

Related Gerrit Patches:
mediawiki/extensions/Linter : masterDelete linter rows when pages are deleted

Event Timeline

Legoktm created this task.Nov 22 2016, 3:22 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptNov 22 2016, 3:22 AM

Change 322946 had a related patch set uploaded (by Legoktm):
Delete linter rows when pages are deleted

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

Legoktm claimed this task.Nov 22 2016, 7:16 PM

Change 322946 merged by jenkins-bot:
Delete linter rows when pages are deleted

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

Legoktm closed this task as Resolved.Dec 1 2016, 9:04 AM