azatoth/twinkle — pull request #158 by mariushoch (2013-05-28 19:37:53+00:00)
Title: Overhaul and fix Morebits.wiki.page.patrol

Made Morebits.wiki.page.patrol work after
https://gerrit.wikimedia.org/r/41196 has been deployed.
Also made it use the API.

Furthermore I've added a dependency against user.tokens but
that shouldn't be controversial as this module is already
loaded on all pages with a patrol link.

This works with both MediaWiki versions with and without
https://gerrit.wikimedia.org/r/41196