MediaWiki:Gadget-ajaxundo

Adds an Ajax undo link next to the normal undo link on page histories.