On wikis where recent changes patrol ($wgUseRCPatrol) is enabled, users who are permitted to mark edits as patrolled (administrators, usually) have an additional user preference; when enabled, this causes their edits to be automatically marked as patrolled. I added this some time ago.

I'm wondering whether or not it would have been a better idea for me to simply make this the default behaviour, and do away with the toggle altogether; it certainly makes more sense now, on reflection.

What do people think? This is also bug 5411.

Rob Church