On 12/19/06, Rob Church <robchur(a)gmail.com> wrote:
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.
I concur. It doesn't make sense for patrollers' edits to be considered
patrollable as well - it just adds to workload.
Steve