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