Detect whether a MediaWiki edit was reverted or not