A revision patrolling tool for Wikipedia