MediaWiki:Gadgets-Ajax Undo

Ajax Undo - Allows users to quickly undo bad edits made by other users.