Hi,
This manual
https://www.mediawiki.org/wiki/API:Patrol say that I can
retrieve patrol token from recent changes. But if I am not using
recent changes to retrieve a list of edits and I want to mark certain
edit as patrolled, how would I retrieve a patrol token for such a
page?