On 12/18/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.
What do people think? This is also bug 5411.
And you propose this just one week after I managed to make Anthere toggle
her edits on meta to automatically marked as patrolled... :)
--
Guillaume Paumier
Disciplus Simplex
http://fr.wikipedia.org : Resistance is futile — You will be assimilated.