Author: maddylover

Description:
If someone (on nl:wiki) undoes an edit by clicking on 'undo', that edit (NOT the undo-edit self) should be marked as patrolled automatically. Even if it's undone by an anonymous user. Reason: if an edit is undone, that edit IS checked, either by a logged in user or anonymous user. And if it stays unpatrolled, that edit (even though it's reverted already) will appear at our anonymous-edits-checking. It means that double work is needed for something that is NOT needed. It has benefits for two usergroups: the one that reverts the edit by 'undo' doesn't need to go back and mark that edit as patrolled, ánd the edit doesn't appear anymore for the anonymous-edits-checking.
I know that this option is more or less incorporated in the 'rollback'-function (i am a rollbacker myself), but you must be a logged-in user for that, need to sign up for that, and not every user wants to do those things. Plus, this must be installed also for anonymous users.
Recap: every edit that is undone by the 'undo'-button should be marked automatically, NOT the 'undo'-edit itself.

Version: unspecified
Severity: enhancement
See Also:
https://bugzilla.wikimedia.org/show_bug.cgi?id=14439