Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T9850, the corresponding Phabricator task for complete and up-to-date bug report information.

When patrolling edits, a user with patrolling privileges needs to beth revert
the edit(s) and mark it/them patrolled in separate actions. Since reverted edits
have been taken care of, they should be marked as patrolled automatically.

                if ( $wgUseRCPatrol ) {
                        # Mark all reverted edits as patrolled
                        $set['rc_patrolled'] = 1;
                }

WORKSFORME

It also works for me when reverting.