[Bug 17237] Better integration of patrol feature (rc_patrolled, rc_bot in revision: rv_bot, rv_patrolled)

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Daniel Kinzler daniel.kinz...@wikimedia.de changed: What|Removed |Added See Also|

[Bug 17237] Better integration of patrol feature (rc_patrolled, rc_bot in revision: rv_bot, rv_patrolled)

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Daniel Kinzler daniel.kinz...@wikimedia.de changed: What|Removed |Added See Also|

[Bug 17237] Better integration of patrol feature (rc_patrolled, rc_bot in revision: rv_bot, rv_patrolled)

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Krinkle krinklem...@gmail.com changed: What|Removed |Added CC|

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Krinkle krinklem...@gmail.com changed: What|Removed |Added Component|General/Unknown |Patrolling --

[Bug 17237] Better integration of patrol feature (rc_patrolled, rc_bot in revisions rv_bot, rv_patrolled)

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Krinkle krinklem...@gmail.com changed: What|Removed |Added Summary|Better integration of |Better integration of

[Bug 17237] Better integration of patrol feature (rc_patrolled, rc_bot in revision: rv_bot, rv_patrolled)

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Krinkle krinklem...@gmail.com changed: What|Removed |Added Summary|Better integration of |Better integration of

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 p858snake p858sn...@gmail.com changed: What|Removed |Added Blocks||16012 Depends

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Krinkle krinklem...@gmail.com changed: What|Removed |Added CC||krinklem...@gmail.com

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 ^demon innocentkil...@gmail.com changed: What|Removed |Added CC|

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Roan Kattouw roan.katt...@home.nl changed: What|Removed |Added Blocks||12394 --

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Roan Kattouw roan.katt...@home.nl changed: What|Removed |Added Keywords||need-review,

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 --- Comment #4 from Roan Kattouw roan.katt...@home.nl 2009-02-02 15:26:32 UTC --- Created an attachment (id=5768) -- (https://bugzilla.wikimedia.org/attachment.cgi?id=5768) Proposed patch Attached patch that: * adds the rev_bot and

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 --- Comment #3 from Roan Kattouw roan.katt...@home.nl 2009-01-30 11:37:15 UTC --- (In reply to comment #2) I just looked at bug 17215 again and there's talk of adding an index, something I have only a very vague understanding of, but

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 Roan Kattouw roan.katt...@home.nl changed: What|Removed |Added CC|

[Bug 17237] Better integration of patrol feature

https://bugzilla.wikimedia.org/show_bug.cgi?id=17237 --- Comment #2 from Gurch matthew.brit...@btinternet.com 2009-01-29 23:29:44 UTC --- (In reply to comment #1) I agree, let's put the patrol flag (and the bot flag too, for that matter) in the revisions table as well. Bot flag kind of