MediaWiki:Gadget-ajaxundo

Ajax Undo links - Adds an Ajax undo link next to the normal undo link on page histories and on diff pages.