gerritbot added a comment.
Change 416752 merged by jenkins-bot:
[mediawiki/core@master] MCR: replace slot_inherited with slot_origin
https://gerrit.wikimedia.org/r/416752TASK DETAILhttps://phabricator.wikimedia.org/T189004EMAIL
Tgr added a comment.
It would even allow us to warn users when a diff skips a deleted edit, and thus may mis-represent authorship.
As noted on the wiki talk page, it would only allow that if the non-deleted part of the diff did not change that slot, and in that case slot_inherited would allow it
gerritbot added a comment.
Change 416752 had a related patch set uploaded (by Daniel Kinzler; owner: Daniel Kinzler):
[mediawiki/core@master] MCR: replace slot_inherited with slot_origin
https://gerrit.wikimedia.org/r/416752TASK DETAILhttps://phabricator.wikimedia.org/T189004EMAIL
