On Tue, Feb 2, 2016 at 4:52 PM, John Mark Vandenberg jayvdb@gmail.com wrote:
The same developer created the MediaWiki API endpoint mergehistory. Im not sure whether it has been merged yet.
https://gerrit.wikimedia.org/r/#/c/261617/
Not quite. I found one bug while testing it earlier.